secure-software-engineering / phasar

A LLVM-based static analysis framework.
Other
920 stars 140 forks source link

Fix result[s]AtInLLVMSSA() #620

Closed fabianbs96 closed 1 year ago

fabianbs96 commented 1 year ago

The functions resultAtInLLVMSSA() und resultsAtInLLVMSSA() in the SolverResults crash if called with a non-void instruction that happens to be a terminator of a BasicBlock (e.g. a invoke stmt). As there seems to be no exact solution to computing the resultsAtInLLVMSSA of terminator instructions, this PR provides an approximation that works in most cases.