SVF-tools's repositories
Teaching-Software-Analysis
Teaching and Learning Software Analysis via SVF
Test-Suite
PTABen: Micro-benchmark Suite for Pointer Analysis
Teaching-Software-Verification
Teaching and Learning Software Verification via SVF
Software-Security-Analysis
Software Security Analysis Course
SVF-Teaching
Learning and Teaching Software Analysis and Verification via SVF
SVF-example
An external project example using SVF as a library
Simplified-STL
A simple implementation of the C++ STL which aims to simplify LLVM IRs during compilation
SVF-Python
Using SVF in Python Projects
SVF-doxygen
https://svf-tools.github.io/SVF-doxygen/html
SVF-Java-example
Using SVF in Java Projects