search

secure-software-engineering / phasar

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

Worklist for IDESolver #630

Closed fabianbs96 closed 1 year ago

fabianbs96 commented 1 year ago

Now finally, we have it! A worklist for the IDESolver!

The IDESolver is no longer recursive, i.e., you no longer need to increase your stack-limit for analyzing anything non-trivial with IFDS/IDE.