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

Issues

Filter by:

Advanced search

Issues (101–125 of 182)

Title T P Status Votes Assignee Version Created Updated Actions
#50: File Processing Exceptions
BugPicker
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
#39: Fails to read SourceDebugExtensionAttribute
Bytecode Representation
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
#46: UShortSet not storing values correctly
bug major resolved
#45: Infinite recursion in ClassFile.foreachNestedClasses
Bytecode Representation
bug major resolved
#43: Can't run demos on 32bit system due to -Xmx8G
bug major resolved
#36: Natively provide information on field accesses
Bytecode Representation
enhancement major resolved
#2: support comparison of long values
Abstract Interpretation Framework
enhancement major resolved
#51: InterpretationFailedException
BugPicker
bug major resolved
#47: CallGraphConstruction for the JDK 7.0 (Update 51, 55, ?)
Abstract Interpretation Framework
bug blocker resolved
#52: MaxCallChainLength: Value of 1 results in more issues that a value of 2
BugPicker
enhancement minor resolved
#44: Provide convenience method to get all inner class files
Bytecode Representation
enhancement major resolved
#53: Running analysis produces warning
BugPicker
bug minor resolved
#41: ArrayValues (Arrays of ReferenceValues) fail when storing a value in the array
Abstract Interpretation Framework
bug major resolved
#34: comparison of initialLocals and maxLocals fails
Abstract Interpretation Framework
bug blocker 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
  2. 1
  3. 2
  4. 3
  5. 4
  6. 5
  7. 6
  8. 7
  9. 8