1. Michael Eichberg Avatar Michael Eichberg
  2. Untitled project
  3. OPAL

Issues

Filter by:

Advanced search

Issues (1–25 of 59)

Title T P Status Votes Assignee Version Created Updated Actions
#61: Verify the computation of the PostDominatorTree
Abstract Interpretation Framework
bug blocker resolved
#99: NullPointerException when determining AI-Def/Use information
Abstract Interpretation Framework
bug blocker resolved
#112: Fails to compute post-dominator tree if one path results in an infinite loop
Abstract Interpretation Framework
bug blocker resolved
#111: data-flow analysis using the most primitive domain fails for MySQL
Abstract Interpretation Framework
bug blocker resolved
#109: the local variables are pointing to wrong locations, when we have methods with long and double values that are not in tail position
Abstract Interpretation Framework
bug blocker resolved
#107: NOP instruction at program counter of ArrayAllocationSite
Abstract Interpretation Framework
bug blocker resolved
#47: CallGraphConstruction for the JDK 7.0 (Update 51, 55, ?)
Abstract Interpretation Framework
bug blocker resolved
#34: comparison of initialLocals and maxLocals fails
Abstract Interpretation Framework
bug blocker resolved
#9: nested JSR/RETs are not handled correctly
Abstract Interpretation Framework
bug blocker resolved
#10: if a subroutine (called using JSR) ends on all paths by effectively throwing an exception (and not with a single ret instruction) the interpretation fails
Abstract Interpretation Framework
bug blocker resolved
#11: if we join arrays with multiple dimensions (>1) or if we join multi-dimensional primitive arrays with (one-dimensional) arrays too much type information is lost
Abstract Interpretation Framework
bug blocker resolved
#12: there seems to be a difference the "valueIsSubtypeOf" method and the possibility to refine a type if the check fails
Abstract Interpretation Framework
bug blocker resolved
#133: AI with PerformInvokations domain fails on checkstyle-5.1
Abstract Interpretation Framework
bug critical resolved
#137: Generating TAC fails for jedit-4.3.2
Abstract Interpretation Framework
bug critical resolved
#121: Performance regression when we compute RecordDefUse for OPAL-AllProjects-...
Abstract Interpretation Framework
bug critical resolved
#82: l2.DefaultDomain fails when interpreting Scala 2.11.8 - TrieIterator.splitArray method
Abstract Interpretation Framework
bug critical resolved
#65: MethodCalls which may throw exceptions are not handled properly by l0.TypeLevelInvokeInstructions
Abstract Interpretation Framework
bug critical resolved
#28: CallgraphCache too small when inserting reflective identified ObjectTypes
Abstract Interpretation Framework
bug critical resolved
#167: Basic Call Graph "Starter"
Abstract Interpretation Framework
enhancement major resolved
#174: FPCFAnalysesIntegrationTest.config is not maintainable
Abstract Interpretation Framework
enhancement major new
#175: Readme.md for the design decisions for the call graph analyses.
Abstract Interpretation Framework
task major new
#162: Assertion error in TAC generation w.r.t. exception handlers
Abstract Interpretation Framework
bug major resolved
#161: TACAIAnalysisIntegrationTest fails
Abstract Interpretation Framework
bug major resolved
#141: NullPointerException in RecordDefUse due to JSR/Ret
Abstract Interpretation Framework
bug major resolved
#140: AbstractInterpretation fails for jboss-5.1.0
Abstract Interpretation Framework
bug major resolved
  2. 1
  3. 2
  4. 3