NASA-SW-VnV/ikos

Analisador estático para C/C++ baseado na teoria de Interpretação Abstrata

↗ Abrir no GitHub

Estrelas

3.163

Bifurcações

220

Linguagem

C++

Licença

NOASSERTION

Último push

há 3 meses

C++static-analysis program-analysis abstract-interpretation software-verification

Ainda não há intel relacionado

Este repo ainda não apareceu em nenhuma das fontes que o radar rastreia. O coletor roda em um cronograma — volte quando ele cobrir este repo.