Superclass for simple dataflow analyses

Issue #87 resolved

florian_kuebler created an issue 2017-06-19

The Soot framework provides abstract classes that makes it very easy to implement intraprocedural forward or backward analyses, also see the Soot Wiki. Such superclasses or traits would help implementing simple flow sensitive analyses with OPAL.

Comments (7)

Michael Eichberg repo owner
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?
- 2017-06-25T15:48:41+00:00
Michael Eichberg repo owner
- changed component to Abstract Interpretation Framework
- 2017-07-13T10:49:55+00:00
Michael Eichberg repo owner
- removed milestone
Removing milestone: 0.9.0-M1 (automated comment)
- 2017-09-07T11:34:58+00:00
Michael Eichberg repo owner
- removed version
Removing version: 0.9.0 (automated comment)
- 2017-10-25T13:15:29+00:00
Michael Eichberg repo owner
- assigned issue to
  
  errt
We now have an initial IFDS implementation that suits such needs - it "just" needs some functionality for backwards analysis.
- 2018-07-31T12:57:06+00:00
Michael Eichberg repo owner
- changed version to 2.0.0
- 2018-07-31T12:57:15+00:00
Michael Eichberg repo owner
- changed status to resolved
fixed issue ~~#87~~

Signed-off-by: Michael Eichberg mail@michael-eichberg.de

→ <<cset b987cb647f12>>
- 2019-04-27T14:36:51+00:00
Log in to comment

Assignee: errt

Type: proposal

Priority: minor

Status: resolved

Component: Abstract Interpretation Framework

Version: 2.0.0

Votes: 0

Watchers: 1