Issues

• Not compatible with new SVF versions.

  SVF-tools/SVF-example#70 · Filter by author learjet5 opened on Oct 7, 2024

• License?

  SVF-tools/SVF-example#69 · Filter by author JuliusNmn opened on Aug 13, 2024
  1

• [Build failed] Building for macOS-arm64 but attempting to link with file built for macOS-x86_64

  SVF-tools/SVF-example#59 · Filter by author anabioticsoul opened on Sep 30, 2023
  2

• not an external IR file: /home/runner/work/SVF/SVF/Release-build/svf-llvm/extapi.bc

  SVF-tools/SVF-example#58 · Filter by author su001018 opened on Aug 29, 2023
  2

• confusion about PATH_SUFFIXES in CMakeLists.txt

  SVF-tools/SVF-example#57 · Filter by author Absoler opened on Mar 11, 2023

• make[2]: *** No rule to make target '/usr/lib/x86_64-linux-gnu/libtinfo.so', needed by 'bin/svf-ex'. Stop.

  SVF-tools/SVF-example#49 · Filter by author chenzhihuan17 opened on Sep 25, 2022
  1

• Error happens when compiling SVF-example

  SVF-tools/SVF-example#48 · Filter by author for-just-we opened on Mar 24, 2022
  2

• error when using traverseOnVFG to collect all LLVM Values

  SVF-tools/SVF-example#30 · Filter by author yikuoyansui opened on Nov 16, 2020
  12