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.
historial de versiones
- Versión N/A publicado en 2011-08-13
Varias correcciones y actualizaciones - Versión N/A publicado en 2011-08-13
Detalles del programa
- Categoría: Desarrollo > Otro
- Editor: c-logic.sf.net
- Licencia: Gratis
- Precio: N/A
- Versión: Array
- Plataforma: linux