SVF-tools

Pinned Repositories

Simplified-STL
A simple implementation of the C++ STL which aims to simplify LLVM IRs during compilation
Language:C++11 4 03
Software-Security-Analysis
Software Security Analysis Course
Language:C++30 3 212
SUPA
SUPA
28 2 123
SVF
Static Value-Flow Analysis Framework for Source Code
Language:C++1.4k 57 596435
SVF-example
An external project example using SVF as a library
Language:CMake19 4 931
SVF-Teaching
Learning and Teaching Software Analysis and Verification via SVF
22 4 13
Teaching-Software-Analysis
Teaching and Learning Software Analysis via SVF
Language:C++194 24 8116
Teaching-Software-Verification
Teaching and Learning Software Verification via SVF
Language:C++32 4 019
Test-Suite
PTABen: Micro-benchmark Suite for Pointer Analysis
Language:C72 7 1938
WebSVF
WebSVF : Online Learning and Teaching Platform for Code Analysis based on SVF
Language:TypeScript14 8 114

SVF-tools's Repositories

SVF-tools/SVF
Static Value-Flow Analysis Framework for Source Code
Language:C++1.4k 57 596435
SVF-tools/Teaching-Software-Analysis
Teaching and Learning Software Analysis via SVF
Language:C++194 24 8116
SVF-tools/Test-Suite
PTABen: Micro-benchmark Suite for Pointer Analysis
Language:C72 7 1938
SVF-tools/Teaching-Software-Verification
Teaching and Learning Software Verification via SVF
Language:C++32 4 019
SVF-tools/Software-Security-Analysis
Software Security Analysis Course
Language:C++30 3 212
SVF-tools/SUPA
SUPA
28 2 123
SVF-tools/SVF-Teaching
Learning and Teaching Software Analysis and Verification via SVF
22 4 13
SVF-tools/SVF-example
An external project example using SVF as a library
Language:CMake19 4 931
SVF-tools/WebSVF
WebSVF : Online Learning and Teaching Platform for Code Analysis based on SVF
Language:TypeScript14 8 114
SVF-tools/Simplified-STL
A simple implementation of the C++ STL which aims to simplify LLVM IRs during compilation
Language:C++11 4 03
SVF-tools/SVF-npm
SVF's npm support
Language:C++2 1 09
SVF-tools/SVF-Python
Using SVF in Python Projects
Language:Python2 5 03
SVF-tools/SVF-doxygen
https://svf-tools.github.io/SVF-doxygen/html
Language:HTML1 3 02
SVF-tools/SVF-Java-example
Using SVF in Java Projects
Language:Java4 01