Michael Eichberg
Untitled project
OPAL
Issues
Filter by:
All
Open
Advanced search
Search
Issues
(1–12 of 12)
Title
T
P
Status
Votes
Assignee
Version
Created
Updated
Actions
#171: Support Java 11s new attributes and validate that the invoke instructions still work as expected
enhancement
minor
new
Future
2018-11-20
2019-05-14
#179: Virtual Call Resolution does not work correctly for private methods
Bytecode Representation
bug
minor
new
2019-02-26
2019-05-14
#180: Findings are printed twice
Demos
bug
minor
new
florian_kuebler
Future
2019-05-04
2019-05-04
#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
#149: Make -Xmx in build.sbt configurable
<OPAL Build Process>
enhancement
minor
new
2018-05-23
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
#157: Improving the purity analysis
Abstract Interpretation Framework
enhancement
minor
new
errt
2018-07-10
2018-07-10
#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
#77: redundant null-check
BugPicker
enhancement
minor
new
2016-11-28
2017-10-25