Software verzenden
  1. Home
  2. Linux
  3. Andere
  4. C-logic
  5. Download

C-logic

Licentie: Gratis ‎Bestandsgrootte: N/A
‎Gebruikersbeoordeling: 5.0/5 - ‎1 ‎Stemmen

Over C-logic

Dit is een C-broncodescanner op basis van symbolische logica. Het analyseert C broncode (vooral die van de Linux kernel, waarop het is gericht) voor het programmeren van fouten en kwetsbaarheden. De tests worden gedefinieerd door de gebruiker.

Gerelateerde programma's

  • LoyalDog Mobile Gratis

    PUPPY FINAL - Dit is de mobiele app voor Firmware 2.2 en hoger. Deze app heeft de basis voor het gebruik van servers van derden. Het is voor processervers en hun medewerkers die zullen worden contracting met derden. Vroeger h

  • SayIt - Voice Launcher Gratis proefperiode

    SayIt lanceert apps met spraak! Gebruik SayIt, samen met de widgets, om snel en eenvoudig al uw apps te starten. SayIt is niet een algemeen doel spraakcommando systeem of een persoonlijke assistent. Het is ontworpen om een di

  • MobileFractal Gratis

    Een eenvoudige applicatie doen trekken Fractal Mandelbrot voor Windows Mobile, met behulp van .net compact framework 3.5

  • Lock screen helper Gratis proefperiode

    Wilt u uw scherm met één druk op het scherm vergrendelen? Wilt u briljante animatie te zien tijdens het vergrendelingsscherm. Nog steeds worring over aan/uit-knop werkt niet op een dag? Als dat zo is, kies dan de applicatie

  • xplorDB Gratis

    Exploration Database template voor Postgres/PostGIS. Het project bevat perl import scripts; boren, oppervlakte- en QA/QC-gegevens en meer. pgAdmin en Quantum GIS zijn de voorgestelde database en GIS front-end programma's.

  • Open-Sharedroot Cluster Gratis

    Het open-sharedroot project is een clustering oplossing die een zeer beschikbare SSI-omgeving voor Linux biedt. Doelen van dit project zijn het bieden van een kader en tools om een sharedroot Cluster te bouwen. Ondersteunde F

  • Mirror C++ reflection library Gratis

    De Mirror-bibliotheek biedt zowel compile-time- als run-time meta-gegevens waarin algemene C++ constructies worden beschreven, zoals naamruimten, typen, klassen, hun basisklassen en ledenvariabelen, constructors, enz.

  • Structured Text Toolkit Gratis

    Een steno alternatief voor XML. Een set van software tools geschreven in Java voor het omgaan met tekst die is gestructureerd door inkeping in plaats van met tags. De tools omvatten een parser, een objectweergave, XPath evalu

  • Theba image segmentation framework Gratis

    Theba is een plugin-gebaseerde beeldanalyse framework voor segmentatie van en metingen op 3D en 2D beelden. Theba heeft een mooie GUI die inspectie en manipulatie van het beeld en een breed scala aan plugins waaronder segment

  • Hidden Spy Cam Video Recorder Gratis proefperiode

    Met deze app u uw telefoon in een echte professionele Full HD spion camera!SpyClock Video Recorder Free is een onvermoede KlokWIDGET die met de eenvoudige druk in stilte video kan opnemen met je Android-apparaat.De vid