C-logic
Licenza: Gratuito Dimensioni del file: N/A
Valutazione utenti: 5.0/5 - 1 Voti
Attendere prego... Il tuo link per il download è in fase di verifica per contenuti dannosi.
Sarai in grado di scaricare in 5 secondi.
Sarai in grado di scaricare in 5 secondi.
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.