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

Issues

Filter by:

Advanced search

Issues (76–100 of 182)

Title T P Status Votes Assignee Version Created Updated Actions
#93: java.util.Comparator is not correctly identified as a FunctionalInterface
bug major resolved
#75: add annotation to disable the generation of known warnings
BugPicker
enhancement major new
#80: NullPointerException in br.Code.computeMaxLocalsRequiredByCode with WIDE instruction
Bytecode Representation
bug major resolved
#15: [Java 8] Support extension methods
Bytecode Representation
enhancement major resolved
#19: [Java 8] Develop tests that explicitly take the method resolution for Java 8 into consideration!
Abstract Interpretation Framework
enhancement major resolved
#54: Handle Negation of Booleans
BugPicker
bug major new
#117: ensure that local.sbt settings are applied AFTER build.sbt settings
<OPAL Build Process>
bug major resolved
#116: calling sbt in OPAL/bp and also OPAL/TOOLS/bp results in a deprecation warning
<OPAL Build Process>
enhancement major resolved
#105: ClassHierarchy.isSubtypeOf doesn't see Object as supertype of SomeClass[]
Bytecode Representation
bug major resolved
#42: Mapping of parameter indexes to stack indexes seems to be wrong
Demos
bug major resolved
#32: CHA and VTACallgrapDomain fail on unknow ObjectType
Abstract Interpretation Framework
bug major resolved
#40: Signature parsing fails
bug major resolved
#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
  2. 1
  3. 2
  4. 3
  5. 4
  6. 5
  7. 6
  8. 7
  9. 8