SVF::FlowSensitive analyze failed

[FFGGSSJJ]

Hello, I am working on analysis of a really complicated program. I compiled the llvmir file with flag -O0 and use the latest SVF with LLVM16 to perform SVF::FlowSensitive analyze. I did it like this:

SVFModule* svfModule = LLVMModuleSet::getLLVMModuleSet()->buildSVFModule(moduleNameVec);
SVFIRBuilder builder(svfModule);
SVFIR* pag = builder.build();

SVF::FlowSensitive* fss = new SVF::FlowSensitive(pag);
fss->analyze();

However, it drops assertion when calls the analyze() function:

SVF::NodeID SVF::VFG::getDef(const PAGNode*) const: Assertion `it!=PAGNodeToDefMap.end() && "SVFVar does not have a definition??"' failed

The AndersenWaveDiff works correctly, but I do need a flow sensitive analysis to do my job. I wonder what kind of reasons can lead to this failure? Thank you.

[yuleisui]

Could you upload your bc? Which version of LLVM you were using?

[FFGGSSJJ]

Could you upload your bc? Which version of LLVM you were using?

For some reason I may not be able to upload the bc. But the llvmir may be compiled with llvm14 or earlier. Will this mismatch of llvm version lead to the problem?

[yuleisui]

Could you use clang-16 to compile the bc and have a try again?