Superclass for simple dataflow analyses
Issue #87
resolved
Comments (7)
-
repo owner -
repo owner - changed component to Abstract Interpretation Framework
-
repo owner - removed milestone
Removing milestone: 0.9.0-M1 (automated comment)
-
repo owner - removed version
Removing version: 0.9.0 (automated comment)
-
repo owner -
assigned issue to
We now have an initial IFDS implementation that suits such needs - it "just" needs some functionality for backwards analysis.
-
assigned issue to
-
repo owner - changed version to 2.0.0
-
repo owner - changed status to resolved
- Log in to comment
Given that the def-use chain is already directly available in OPAL, I'm asking myself how the "best" interface should look like in this case. Maybe it would make sense to facilitate a valued based fix-point computation. Do you have any suggestions?