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
#175: Readme.md for the design decisions for the call graph analyses.
Abstract Interpretation Framework
task major new
#87: Superclass for simple dataflow analyses
Abstract Interpretation Framework
proposal minor resolved
#3: Origin should return empty Iterable
Abstract Interpretation Framework
proposal major resolved
#167: Basic Call Graph "Starter"
Abstract Interpretation Framework
enhancement major resolved
#125: Improvement of the PerformInvocations domain
Abstract Interpretation Framework
enhancement minor resolved
#174: FPCFAnalysesIntegrationTest.config is not maintainable
Abstract Interpretation Framework
enhancement major new
#176: May-alias analysis/domain for Fields and Arrays to improve the escape analysis
Abstract Interpretation Framework
enhancement minor new
#156: Field mutability should identify external initialization
Abstract Interpretation Framework
enhancement minor new
#157: Improving the purity analysis
Abstract Interpretation Framework
enhancement minor new
#19: [Java 8] Develop tests that explicitly take the method resolution for Java 8 into consideration!
Abstract Interpretation Framework
enhancement major resolved
#2: support comparison of long values
Abstract Interpretation Framework
enhancement major resolved
#14: Post-Analysis Method
Abstract Interpretation Framework
enhancement major resolved
#166: Implement equals on TACode
Abstract Interpretation Framework
bug minor 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
#164: FPCFAnalysisIntegrationTest fails
Abstract Interpretation Framework
bug major 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
#68: Return instructions can throw IllegalMonitorStateExceptions
Abstract Interpretation Framework
bug major resolved
#67: CHA cant be build in application mode
Abstract Interpretation Framework
bug minor resolved
#96: Some exception handlers are now longer "required/valid"
Abstract Interpretation Framework
bug minor resolved
#61: Verify the computation of the PostDominatorTree
Abstract Interpretation Framework
bug blocker resolved
  2. 1
  3. 2
  4. 3