Programas por c-logic.sf.net

Este é um scanner de código fonte C baseado em lógica simbólica. Ele analisa o código-fonte C (especialmente o do kernel Linux, no qual ele é destinado) para erros de programação e vulnerabilidades. Os testes são definidos pe