SVF-example icon indicating copy to clipboard operation
SVF-example copied to clipboard

Published 20 hours ago • verified publisher icon SVF-tools

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

Open su001018 opened this issue 1 year ago • 2 comments

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.

su001018 avatar Aug 29 '23 01:08 su001018

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.

shuangxiangkan avatar Aug 31 '23 03:08 shuangxiangkan

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

su001018 avatar Aug 31 '23 03:08 su001018