Programmi di c-logic.sf.net

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 defin