Search results

Not compatible with new SVF versions.

Status: Open.

#70 In SVF-tools/SVF-example;

· learjet5 opened on Oct 7, 2024

License?

Status: Open.

#69 In SVF-tools/SVF-example;

· JuliusNmn opened on Aug 13, 2024

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

Status: Open.

#59 In SVF-tools/SVF-example;

· anabioticsoul opened on Sep 30, 2023

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

Status: Open.

#58 In SVF-tools/SVF-example;

· su001018 opened on Aug 29, 2023

confusion about PATH_SUFFIXES in CMakeLists.txt

Status: Open.

#57 In SVF-tools/SVF-example;

· 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.

Status: Open.

#49 In SVF-tools/SVF-example;

· chenzhihuan17 opened on Sep 25, 2022

Error happens when compiling SVF-example

Status: Open.

#48 In SVF-tools/SVF-example;

· for-just-we opened on Mar 24, 2022

error when using traverseOnVFG to collect all LLVM Values

Status: Open.

#30 In SVF-tools/SVF-example;

· yikuoyansui opened on Nov 16, 2020