Michael Eichberg
Untitled project
OPAL
Issues
Filter by:
All
Open
Advanced search
Search
Issues
(1–6 of 6)
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
#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
#28: CallgraphCache too small when inserting reflective identified ObjectTypes
Abstract Interpretation Framework
bug
critical
resolved
Michael Eichberg
2014-05-02
2014-05-05