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
#176: May-alias analysis/domain for Fields and Arrays to improve the escape analysis
Abstract Interpretation Framework
enhancement minor new
#175: Readme.md for the design decisions for the call graph analyses.
Abstract Interpretation Framework
task major new
#174: FPCFAnalysesIntegrationTest.config is not maintainable
Abstract Interpretation Framework
enhancement major new
#167: Basic Call Graph "Starter"
Abstract Interpretation Framework
enhancement major resolved
#166: Implement equals on TACode
Abstract Interpretation Framework
bug minor new
#164: FPCFAnalysisIntegrationTest fails
Abstract Interpretation Framework
bug major resolved
#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
#157: Improving the purity analysis
Abstract Interpretation Framework
enhancement minor new
#156: Field mutability should identify external initialization
Abstract Interpretation Framework
enhancement minor new
#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
#137: Generating TAC fails for jedit-4.3.2
Abstract Interpretation Framework
bug critical resolved
#133: AI with PerformInvokations domain fails on checkstyle-5.1
Abstract Interpretation Framework
bug critical resolved
#125: Improvement of the PerformInvocations domain
Abstract Interpretation Framework
enhancement minor resolved
#121: Performance regression when we compute RecordDefUse for OPAL-AllProjects-...
Abstract Interpretation Framework
bug critical 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
#99: NullPointerException when determining AI-Def/Use information
Abstract Interpretation Framework
bug blocker resolved
#96: Some exception handlers are now longer "required/valid"
Abstract Interpretation Framework
bug minor resolved
#87: Superclass for simple dataflow analyses
Abstract Interpretation Framework
proposal minor resolved
#82: l2.DefaultDomain fails when interpreting Scala 2.11.8 - TrieIterator.splitArray method
Abstract Interpretation Framework
bug critical resolved
#68: Return instructions can throw IllegalMonitorStateExceptions
Abstract Interpretation Framework
bug major resolved
  2. 1
  3. 2
  4. 3