Programas por c-logic.sf.net

Este é um scanner de código C baseado na lógica simbólica. Analisa o código-fonte C (especialmente o do kernel Linux, para o qual se destina) para erros de programação e vulnerabilidades. Os testes são definidos pelo utilizad