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
#182: ClassHierarchy.isASubtypeOf sometimes returns Unknown even though the supertype is final
Bytecode Representation
bug
minor
resolved
3.0.0
2019-07-22
2019-07-24
#181: ...support.info.Purity
Tools
bug
blocker
closed
errt
3.0.0
2019-05-12
2019-05-14
#173: FieldAndArrayUsageAnalysis does not seem to use the PropertyStore properly
Demos
bug
major
resolved
florian_kuebler
3.0.0
2018-12-20
2018-12-27
#172: UnnecessarySynchronizationAnalysis does not use the PropertyStore appropriately
Demos
bug
major
resolved
florian_kuebler
3.0.0
2018-12-20
2018-12-27
#166: Implement equals on TACode
Abstract Interpretation Framework
bug
minor
new
Michael Eichberg
3.0.0
2018-10-29
2018-10-29