C-logic
Sarai in grado di scaricare in 5 secondi.
Puoi anche fare clic sul seguente link per il download esterno per iniziare il download:
http://c-logic.cvs.sourceforge.net/c-logic
Circa C-logic
Questo è uno scanner di codice sorgente C basato su logica simbolica. Analizza il codice sorgente C (in particolare quello del kernel Linux, a cui è finalizzato) per errori di programmazione e vulnerabilità. I test sono definiti dall'utente.
Programmi correlati
-
LoyalDog Mobile Gratuito
FINALE CUCCIOLO - Questa è l'app mobile per firmware 2.2 e versioni successive. Questa app ha le basi per l'utilizzo di server di terze parti. È per i server di processo e i loro dipendenti che si contrarranno con terze parti
-
SayIt - Voice Launcher Prova gratuita
SayIt lancia le app a voce! Usa SayIt, insieme ai suoi widget, per avviare rapidamente e facilmente tutte le tue app. SayIt non è un sistema di comando vocale di uso generale o un assistente personale. È progettato per fare u
-
MobileFractal Gratuito
Una semplice applicazione disegna Fractal Mandelbrot per Windows Mobile, utilizzando .net compact framework 3.5
-
Lock screen helper Prova gratuita
Vuoi bloccare lo schermo con un solo tocco sullo schermo? Vuoi vedere un'animazione brillante durante la schermata di blocco. Ancora preoccuparsi del pulsante di accensione non funziona un giorno? In tal caso, scegli l'appl
-
xplorDB Gratuito
Modello database di esplorazione per Postgres/PostGIS. Il progetto incorpora script di importazione perl; perforazione, dati di superficie e QA/QC e altro ancora. pgAdmin e Quantum GIS sono il database suggerito e i programmi
-
Open-Sharedroot Cluster Gratuito
Il progetto open-sharedroot è una soluzione di clustering che offre un ambiente SSI altamente disponibile per Linux. Gli obiettivi di questo progetto sono fornire un framework e strumenti per costruire un cluster sharedroot.
-
Mirror C++ reflection library Gratuito
La libreria Mirror fornisce metadati sia in fase di compilazione che in fase di esecuzione che descrivono costrutti C++ comuni come spazi dei nomi, tipi, classi, le relative classi base e variabili membro, costruttori e così
-
Structured Text Toolkit Gratuito
Un'alternativa stenografico a XML. Un insieme di strumenti software scritti in Java per gestire il testo strutturato per rientro piuttosto che con tag. Gli strumenti includono un parser, una rappresentazione di oggetti, un va
-
Theba image segmentation framework Gratuito
Theba è un framework di analisi delle immagini basato su plugin per la segmentazione e le misurazioni su immagini 3D e 2D. Theba ha una bella GUI che consente l'ispezione e la manipolazione dell'immagine e una vasta gamma di
-
Hidden Spy Cam Video Recorder Prova gratuita
Con questa app puoi trasformare il tuo telefono in una vera telecamera spia Full HD professionale!SpyClock Video Recorder Free è un insospettato WIDGET orologio che con la semplice pressione può registrare silenziosamente