C-logic

Licença: Grátis ‎Tamanho do arquivo: N/A
‎Classificação dos utilizadores: 5.0/5 - ‎1 ‎votos

Sobre C-logic

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 utilizador.