Page Index - SVF-tools/SVF GitHub Wiki
36 page(s) in this GitHub Wiki:
- Home
- A simple driver example of SVF
- About
- Adding alias checker to validate the correctness of your pointer analysis
- Analyze a Simple C Program
- Build LLVM and Clang from source code
- Compile bitcode file using wllvm gclang
- Compiling Chrome using flto
- Compiling CPU2000 2006 2017
- Compiling Firefox
- Detecting memory leaks
- Git command lines
- Handling External APIs with extapi.c
- Hash Consed Points To Sets
- Init Z3 prover
- Install LLVM Gold Plugin on Ubuntu
- Object Clustering
- Quick benchmarking script
- Set up the Debugging Environment for SVF in VSCode
- Setup and Debug Guide (VScode)
- Setup Guide
- Setup Guide (Autoconf)
- Setup Guide (CMake)
- Setup SVF in CLion
- Specifications in ExtAPI.json
- SVF Design
- SVF Point‐to Analysis Results Read and Write
- SVFG Read and Write
- Technical documentation
- Try SVF in Docker
- TypeClone
- User Guide
- VSFS
- Write a flow and field insensitive pointer analysis
- Write a source sink analyzer
- Write your own analysis in SVF