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

Issues

Filter by:

Advanced search

Issues (1–25 of 182)

Title T P Status Votes Assignee Version Created Updated Actions
#1: In some rare cases the tracking of Array values fails
Abstract Interpretation Framework
bug major resolved
#3: Origin should return empty Iterable
Abstract Interpretation Framework
proposal major resolved
#4: Generalization resolved.Type: add toJavaType
Bytecode Representation
enhancement major resolved
#6: ScalaDoc in de.tud.cs.st.bat.resolved.analyses.ClassHierarchy outdated
Bytecode Representation
bug trivial resolved
#5: StackOverflowError when calling summarize of DefaultPreciseReferenceValues
Abstract Interpretation Framework
bug major resolved
#7: ClassCastException when adapting AnIntegerValue
Abstract Interpretation Framework
bug major resolved
#8: MethodDescriptor.NoArgsAndReturnVoid should be a val
Bytecode Representation
enhancement trivial resolved
#12: there seems to be a difference the "valueIsSubtypeOf" method and the possibility to refine a type if the check fails
Abstract Interpretation Framework
bug blocker resolved
#11: if we join arrays with multiple dimensions (>1) or if we join multi-dimensional primitive arrays with (one-dimensional) arrays too much type information is lost
Abstract Interpretation Framework
bug blocker resolved
#10: if a subroutine (called using JSR) ends on all paths by effectively throwing an exception (and not with a single ret instruction) the interpretation fails
Abstract Interpretation Framework
bug blocker resolved
#9: nested JSR/RETs are not handled correctly
Abstract Interpretation Framework
bug blocker resolved
#14: Post-Analysis Method
Abstract Interpretation Framework
enhancement major resolved
#16: [Java 8] Make it possible to read in Java 8 class files
Bytecode Representation
enhancement major resolved
#13: we are loosing some call edges for the VTA
Abstract Interpretation Framework
bug major resolved
#17: [Java 8] Support the new MethodParametersAttribute
Bytecode Representation
enhancement major resolved
#20: BAT crashes when loading empty (0-byte) .jar files
Bytecode Representation
bug major resolved
#22: IndexBasedProject doesn't add libraryClassFiles to classHierarchy
Bytecode Representation
bug major resolved
#21: BATException not in package bat
Bytecode Representation
bug major resolved
#23: ClassFiles(java.io.File) crashes when the given file doesn't exist
Bytecode Representation
bug major resolved
#24: the handling of ConstantValues of type MethodHandle and MethodType is completely broken
Bytecode Representation
bug blocker resolved
#26: Invalid line numbers in Callgraph test data
Abstract Interpretation Framework
bug major resolved
#25: MultipleReferenceValues bypass null -> NullPointerException Conversion
Abstract Interpretation Framework
bug major resolved
#18: [Java 8] Support the new attributes for type annotations
Bytecode Representation
enhancement major resolved
#27: The same CallEdge may be added multiple times if encountered on multiple paths
bug major resolved
#28: CallgraphCache too small when inserting reflective identified ObjectTypes
Abstract Interpretation Framework
bug critical resolved
  2. 1
  3. 2
  4. 3
  5. 4
  6. 5
  7. 6
  8. 7
  9. 8