Programas por c-logic.sf.net

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.