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

[su001018]

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 Aborted (core dumped)". The problem is that I don't have a runner user on my local machine, and that path doesn't even exist. So I want to know how can I do something to resolve it, thk.

[shuangxiangkan]

Please try the build commands again, starting from step 1: 'npm i --silent svf-lib --prefix ${HOME}'. This bug should have been fixed in the latest SVF version.

[su001018]

Thanks. I have found the reason of this bug and resolve it by building SVF on my linux. Thanks for replying!