C-logic
Licencia: Gratis Tamaño del archivo: N/A
Calificación de usuarios: 5.0/5 - 1 Votos
Espera... El enlace de descarga se está verificando para ver si hay contenido malintencionado.
Podrás descargarlo en 5 segundos.
Podrás descargarlo en 5 segundos.
acerca de C-logic
Se trata de un analizador de código fuente de C basado en lógica simbólica. Analiza el código fuente de C (especialmente el del kernel de Linux, al que está dirigido) para detectar errores de programación y vulnerabilidades. Las pruebas las define el usuario.