Michael Eichberg
Untitled project
OPAL
Issues
Filter by:
All
Open
Advanced search
Search
Issues
(1–5 of 5)
Title
T
P
Status
Votes
Assignee
Version
Created
Updated
Actions
#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
#144: IntermediateResult should take dependees as Set[SomeEPK]
Bytecode Representation
proposal
minor
new
Michael Eichberg
Future
2018-02-14
2018-07-27
#64: try-with-resources introduces an implicit null check which is flagged as an explicit check
BugPicker
task
minor
new
Michael Eichberg
2016-06-09
2017-10-25
#76: False positive in case of exhaustive switches
BugPicker
enhancement
minor
new
Michael Eichberg
2016-11-28
2017-10-25