Invia software
  1. Casa
  2. Linux
  3. Altro
  4. C-logic

C-logic

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 5.0/5 - ‎1 ‎Voti
Scaricare

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.

cronologia delle versioni

  • Versione N/A pubblicato il 2011-08-13
    Diverse correzioni e aggiornamenti
  • Versione N/A pubblicato il 2011-08-13

Dettagli del programma

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