Fix handling of unbalanced returns for IIA - #664

Merged

MMory merged 7 commits into

developmentfrom

f-FixUnbalancedReturnHandlingIIA

Sep 6, 2023

Commits on Aug 28, 2023

fix handling of unbalanced returns for IIA, for the change in the IDE solver I am not sure yet how this should be done properly.
Martin Mory
committed
036db8c
Update include/phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEInstInteractionAnalysis.h

MMory
and
github-actions[bot]
authored
77139f7
Merge branch 'development' into f-FixUnbalancedReturnHandlingIIA
fabianbs96
authored
750499d
Merge branch 'development' into f-FixUnbalancedReturnHandlingIIA
fabianbs96
authored
9858e23
Fix error due to update from dev
fabianbs96
committed
1c218ae

Commits on Aug 30, 2023

Separate APi for side-effets of ret-FF in case of unbalanced-return end
fabianbs96
committed
0970312
pre-commit
fabianbs96
committed
f05739e