SVF-tools/SVF

@SVF-tools

Statischer Value-Flow-Analyse-Framework für Quellcode

↗ Auf GitHub öffnen

Sterne

1.708

Forks

495

Sprache

C++

Lizenz

NOASSERTION

Letzter Push

vor 7 Tagen

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

Noch keine verwandte Intel

Dieses Repo ist noch in keiner der vom Radar verfolgten Quellen aufgetaucht. Der Collector läuft nach Zeitplan — schau wieder vorbei, sobald er dieses Repo abdeckt.

Verwandte Intel (0)

Noch keine verwandte Intel