SVF-tools

SVF. Static Value-Flow Analysis Framework for Source Code

Software-Analysis-Studio. Teaching and Learning Software Analysis via SVF

Software-Security-Analysis. Static Analysis Course

Test-Suite. PTABen: Micro-benchmark Suite for Pointer Analysis

Teaching-Software-Verification. Teaching and Learning Software Verification via SVF

SUPA. SUPA

SVF-Teaching. Learning and Teaching Software Analysis and Verification via SVF

SVF-example. An external project example using SVF as a library

SVF-Python. Using SVF in Python Projects

WebSVF. WebSVF : Online Learning and Teaching Platform for Code Analysis based on SVF

ACT. Abstract Constraint Transformation

Simplified-STL. A simple implementation of the C++ STL which aims to simplify LLVM IRs during compilation

SVF-npm. SVF's npm support

SVF-doxygen. https://svf-tools.github.io/SVF-doxygen/html