secure-software-engineering / phasar

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

Simplify InstInteractionAnalysis #573

Closed fabianbs96 closed 1 year ago

fabianbs96 commented 1 year ago

The IDEInstInteractionAnalysis is one of the most complex analyses within PhASAR. So, it is a good candidate for applying the new flow function templates as well as general cleanup.

@vulder: Does the analysis still work in your environment?