SVF-tools/SVF

Framework de análise de fluxo de valores estáticos para código-fonte

↗ Abrir no GitHub

Estrelas

1.708

Bifurcações

495

Linguagem

C++

Licença

NOASSERTION

Último push

há 1 semana

C++static-analysis llvm code-analysis pointer-analysis points-to-analysis static-analyzer source-code-analysis bug-detection dependency-analysis code-verification abstract-interpretation static-value-flow

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.