C-logic

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

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.