Guanqin.ZHANG

Hi Juefeng, It looks like the compilation problem is from your clang&llvm. If you don't mind, could you try to re-download the Pre-Built Binaries LLVM-10.0.0 from https://releases.llvm.org/download.html . And give...

Sorry for the inconvenience, the compilation problem maybe triggered from c++ compiler in ubuntu. I have already fixed the steps for CLion wiki and you may refer to https://github.com/SVF-tools/SVF/wiki/Setup-SVF-in-CLion#3-setup-for-the-toolchain-and-cmake-env

example.bc is the program which you are going to analyse. SVF accepts code assembly compiled from its source code. There are multiple ways to generate bc file. Furthermore, we have...

Please use llvm 13 and try again.