Michael Eichberg
Untitled project
OPAL
Issues
Filter by:
All
Open
Advanced search
Search
Issues
(1–6 of 6)
Title
T
P
Status
Votes
Assignee
Version
Created
Updated
Actions
#174: FPCFAnalysesIntegrationTest.config is not maintainable
Abstract Interpretation Framework
enhancement
major
new
errt
3.0.0
2018-12-28
2019-02-14
#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
#175: Readme.md for the design decisions for the call graph analyses.
Abstract Interpretation Framework
task
major
new
florian_kuebler
3.0.0
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