Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits
PrototypeCommon

SVF-tools/Software-Security-Analysis

Static Analysis Course

Owner
SVF-tools (personal account)
Stars
Stars: 101
Forks
Forks: 39
Language
LLVM
License
GPL-3.0
Created
2024
Topics
abstract-interpretationdata-flow-analysisstatic-analysissymbolic-executionstatic-analysis-coursevalue-flow
Tier
Prototype (100 to 249 ★) What this tier means
View on GitHub

More repos by SVF-tools

All 3 repos by SVF-tools

Nearby in LLVM

All LLVM repos