You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Hello everyone, I'm new to SVF. I attempted to traverse on ICFG and transfer SVFValue to LLVMValue so that I could do some customed analysis.
However, after I get SVFInstruction from IntraICFGNode, and use LLVMModuleSet::getLLVMModuleSet()->getLLVMValue(), This assert failed and shut down the program.
The program above worked well.
I wonder why both codes convert SVFInstruction into LLVMValue but only second one succeed. Is it not supposed that I use getLLVMValue on SVFInstruction got from IntraICFGNode->getInst()?
The text was updated successfully, but these errors were encountered:
Hello everyone, I'm new to SVF. I attempted to traverse on ICFG and transfer SVFValue to LLVMValue so that I could do some customed analysis.
However, after I get
SVFInstruction
fromIntraICFGNode
, and useLLVMModuleSet::getLLVMModuleSet()->getLLVMValue()
, This assert failed and shut down the program.Some of my code is as follow:
I doubt that the svfInst I got from IntraICFGNode could not be found corresponding llvm value.
BUT, when I traverse the bitcode like:
The program above worked well.
I wonder why both codes convert SVFInstruction into LLVMValue but only second one succeed. Is it not supposed that I use
getLLVMValue
on SVFInstruction got fromIntraICFGNode->getInst()
?The text was updated successfully, but these errors were encountered: