SVF configuration

• Setting up: https://github.com/SVF-tools/SVF/wiki/Setup-Guide-(CMake)
• Quick start: https://github.com/svf-tools/SVF/wiki/User-Guide#quick-start
• Related material
  • [tutorial] SVF: Interprocedural Static Value-Flow Analysis in LLVM
  • [paper] The Ant and the Grasshopper: Fast and Accurate Pointer Analysis for Millions of Lines of Code

Summary of lab

Copy of Pointer Analysis