SVF-tools/SVF

Framework d'analyse statique de flux de données pour le code source

↗ Ouvrir sur GitHub

Étoiles

1 708

Bifurcations

495

Langage

C++

Licence

NOASSERTION

Dernier push

il y a 1 semaine

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

Aucune intel associée pour le moment

Ce dépôt n'est encore apparu dans aucune des sources que le radar suit. Le collecteur suit un calendrier — revenez une fois qu'il couvre ce dépôt.