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
#133: AI with PerformInvokations domain fails on checkstyle-5.1
Abstract Interpretation Framework
bug
critical
resolved
Michael Eichberg
1.0.0
2017-12-04
2017-12-11
#137: Generating TAC fails for jedit-4.3.2
Abstract Interpretation Framework
bug
critical
resolved
Michael Eichberg
2017-12-06
2017-12-11
#136: Generating TAC fails with PrimitiveTACAIDomain for jasperreports-1.1.0
bug
critical
invalid
Michael Eichberg
2017-12-06
2017-12-06
#121: Performance regression when we compute RecordDefUse for OPAL-AllProjects-...
Abstract Interpretation Framework
bug
critical
resolved
Michael Eichberg
2017-10-23
2017-11-03
#82: l2.DefaultDomain fails when interpreting Scala 2.11.8 - TrieIterator.splitArray method
Abstract Interpretation Framework
bug
critical
resolved
Michael Eichberg
2017-01-18
2017-10-25
#65: MethodCalls which may throw exceptions are not handled properly by l0.TypeLevelInvokeInstructions
Abstract Interpretation Framework
bug
critical
resolved
Michael Eichberg
2016-06-16
2017-10-25
#83: DA to XHTML does not seem to work in some corner cases
Bytecode Disassembler
bug
critical
resolved
Michael Eichberg
2017-04-27
2017-10-25
#86: pureness analysis failed
Bytecode Representation
bug
critical
resolved
Michael Eichberg
2017-06-16
2017-09-07
#28: CallgraphCache too small when inserting reflective identified ObjectTypes
Abstract Interpretation Framework
bug
critical
resolved
Michael Eichberg
2014-05-02
2014-05-05