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
#125: Improvement of the PerformInvocations domain
Abstract Interpretation Framework
enhancement minor resolved
#156: Field mutability should identify external initialization
Abstract Interpretation Framework
enhancement minor new
#7: ClassCastException when adapting AnIntegerValue
Abstract Interpretation Framework
bug major resolved
#5: StackOverflowError when calling summarize of DefaultPreciseReferenceValues
Abstract Interpretation Framework
bug major resolved
#167: Basic Call Graph "Starter"
Abstract Interpretation Framework
enhancement major resolved
#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
#174: FPCFAnalysesIntegrationTest.config is not maintainable
Abstract Interpretation Framework
enhancement major new
#164: FPCFAnalysisIntegrationTest fails
Abstract Interpretation Framework
bug major resolved
#157: Improving the purity analysis
Abstract Interpretation Framework
enhancement minor new
#176: May-alias analysis/domain for Fields and Arrays to improve the escape analysis
Abstract Interpretation Framework
enhancement minor new
#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
#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
#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
#99: NullPointerException when determining AI-Def/Use information
Abstract Interpretation Framework
bug blocker 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
  2. 1
  3. 2
  4. 3