Michael Eichberg
Untitled project
OPAL
Issues
Filter by:
All
Open
Advanced search
Search
Issues
(1–8 of 8)
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
#176: May-alias analysis/domain for Fields and Arrays to improve the escape analysis
Abstract Interpretation Framework
enhancement
minor
new
Michael Eichberg
Future
2019-01-04
2019-01-04
#166: Implement equals on TACode
Abstract Interpretation Framework
bug
minor
new
Michael Eichberg
3.0.0
2018-10-29
2018-10-29
#156: Field mutability should identify external initialization
Abstract Interpretation Framework
enhancement
minor
new
2018-07-05
2018-10-29
#157: Improving the purity analysis
Abstract Interpretation Framework
enhancement
minor
new
errt
2018-07-10
2018-07-10
#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