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

Issues

Filter by:

Advanced search

Issues (1–25 of 33)

Title T P Status Votes Assignee Version Created Updated Actions
#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
#164: FPCFAnalysisIntegrationTest fails
Abstract Interpretation Framework
bug major resolved
#68: Return instructions can throw IllegalMonitorStateExceptions
Abstract Interpretation Framework
bug major resolved
#19: [Java 8] Develop tests that explicitly take the method resolution for Java 8 into consideration!
Abstract Interpretation Framework
enhancement major resolved
#32: CHA and VTACallgrapDomain fail on unknow ObjectType
Abstract Interpretation Framework
bug major resolved
#37: AI fails due to NullPointerException
Abstract Interpretation Framework
bug major resolved
#38: AI fails due to ImpossibleRefinement (array cast to non-array)
Abstract Interpretation Framework
bug major resolved
#33: ClassValues fails on ArrayTypes
Abstract Interpretation Framework
bug major resolved
#35: PerformInvocations handles exceptions as returned values
Abstract Interpretation Framework
bug major resolved
#49: ArrayValues fails when joining two arrays that have the same value at the same position in the array
Abstract Interpretation Framework
bug major resolved
#48: IntegerRange violates assertion when establishing a constraint
Abstract Interpretation Framework
bug major resolved
#2: support comparison of long values
Abstract Interpretation Framework
enhancement major resolved
#41: ArrayValues (Arrays of ReferenceValues) fail when storing a value in the array
Abstract Interpretation Framework
bug major resolved
#58: NullPointerException when determining AI-Def/Use information
Abstract Interpretation Framework
bug major resolved
#55: operandsArray(currentPC) is null in flow Method
Abstract Interpretation Framework
bug major resolved
#57: Does not terminate
Abstract Interpretation Framework
bug major resolved
#31: DefaultMethodReturnInformation handles exceptions in some cases not correctly
Abstract Interpretation Framework
bug major resolved
#30: PerformInvocations doesn't handle computational types properly
Abstract Interpretation Framework
bug major resolved
#29: PerformInvocations corrupts Operandstack
Abstract Interpretation Framework
bug major resolved
  2. 1
  3. 2