Michael Eichberg
Untitled project
OPAL
Issues
Filter by:
All
Open
Advanced search
Search
Issues
(1–9 of 9)
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
#71: virtual methods are not correctly taken into account by the "unused fields" analysis
BugPicker
bug
major
new
Michael Eichberg
2016-07-06
2017-10-25
#75: add annotation to disable the generation of known warnings
BugPicker
enhancement
major
new
Michael Eichberg
2016-10-07
2017-10-25
#60: Add check for redundant null checks on field values
BugPicker
proposal
trivial
new
Michael Eichberg
2016-04-26
2017-10-25
#54: Handle Negation of Booleans
BugPicker
bug
major
new
Michael Eichberg
2015-06-09
2017-10-25