/SVF

Pointer Analysis and Program Dependence Analysis for C and C++ Programs

Primary LanguageCOtherNOASSERTION

Pointer Analysis and Program Dependence Analysis for C and C++ Programs, Forked from http://svf-tools.github.io/SVF/

Made compatible with llvm-7. Updates to the following files:

  • lib/Util/Analysis.cpp
  • lib/Util/SVFModule.cpp
  • build.sh
  • setup.sh