search

secure-software-engineering / phasar

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

Fix IIA reverse flow #595

Closed fabianbs96 closed 1 year ago

fabianbs96 commented 1 year ago

The edge functions in the IDEInstInteractionAnalysis sometimes generate dataflows that flow in reverse controlflow direction. This PR changes that.

Note: This PR also includes changes that are now being out-sourced to #594. So, that PR should probably be merged first