SVF-example

SVF-example copied to clipboard

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

2

Hello everyone, I'm new to SVF. I attempted to utilize SVF as an external library in CLion on `macOS Monterey`, but encountered a `cmake` failure along with the following log:...

anabioticsoul

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

2

I have followed the instructions in the tutorial to configure and build the project. However, when executing ./bin/svf-ex example.ll, I encountered the error message "not an external IR file: /home/runner/work/SVF/SVF/Release-build/svf-llvm/extapi.bc...

su001018

#56 is this value should be "lib"? On my Ubuntu 20.04 only modifying this make a successful build. or it will not find libz3.a which should be in ${z3_prefix}/lib

Absoler

libz3.a should be in the "${z3_prefix}/lib/" directory, Z3_LIBRARIES will not find target if it's "bin"

Absoler

老师项目已经编译好了，另外还加了pyqt5做的可视化也在里面

Rogan-Heng

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

1

➜ SVF-example git:(master) ✗ make [ 50%] Building CXX object src/CMakeFiles/svf-ex.dir/svf-ex.cpp.o make[2]: *** No rule to make target '/usr/lib/x86_64-linux-gnu/libtinfo.so', needed by 'bin/svf-ex'. Stop. make[1]: *** [CMakeFiles/Makefile2:178: src/CMakeFiles/svf-ex.dir/all] Error 2 make:...

chenzhihuan17

Error happens when compiling SVF-example

2

when I compile SVF-example in CLion, an error occured, The error message is ``` /home/xxx/xxx/xxx/SVF-2.2/Release-build/lib/libSvf.a(LLVMModule.cpp.o)：在函数‘SVF::LLVMModuleSet::loadModules(std::vector const&)’中： LLVMModule.cpp:(.text+0xfbe)：对‘llvm::parseIRFile(llvm::StringRef, llvm::SMDiagnostic&, llvm::LLVMContext&, llvm::function_ref)’未定义的引用 ``` LLVM version I use is 12.0.0 SVF version I...

for-just-we

guanqin-123

yuleisui

yuleisui