SVF icon indicating copy to clipboard operation
SVF copied to clipboard
verified publisher icon SVF-tools

SVF cannot load fossil bitcode

Open mbarbar opened this issue 5 years ago • 0 comments

Trying to load fossil.zip fails with the error:

load module: /home/mbarbar/bitcode/fossil.bcfailed!!

SVFModuleLoader: /home/mbarbar/bitcode/fossil.bc: error: Malformed block
wpa: /home/mbarbar/clone/svf-public/include/SVF-FE/LLVMModule.h:198: SVF::LLVMContext &SVF::LLVMModuleSet::getContext() const: Assertion `!empty() && "empty LLVM module!!"' failed.
Aborted

mbarbar avatar Apr 15 '21 04:04 mbarbar