Michael Eichberg
Untitled project
OPAL
Issues
Filter by:
All
Open
Advanced search
Search
Issues
(1–4 of 4)
Title
T
P
Status
Votes
Assignee
Version
Created
Updated
Actions
#87: Superclass for simple dataflow analyses
Abstract Interpretation Framework
proposal
minor
resolved
errt
2.0.0
2017-06-19
2019-04-27
#125: Improvement of the PerformInvocations domain
Abstract Interpretation Framework
enhancement
minor
resolved
2017-11-01
2019-02-15
#67: CHA cant be build in application mode
Abstract Interpretation Framework
bug
minor
resolved
Michael Reif
2016-06-24
2017-10-25
#96: Some exception handlers are now longer "required/valid"
Abstract Interpretation Framework
bug
minor
resolved
Michael Eichberg
2017-07-06
2017-10-25