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
More repos by SVF-tools
All 3 repos by SVF-tools- SVF-tools/SVFStars: 1,716C++Beta
- SVF-tools/Software-Analysis-StudioStars: 218C++Prototype
Nearby in LLVM
All LLVM repos- pgarba/SiMBA-Stars: 115LLVMPrototype
- Xilinx/nanotubeStars: 110LLVMPrototype
- IITH-Compilers/IR2VecStars: 105LLVMPrototype