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
#181: ...support.info.Purity
Tools
bug blocker closed
#159: Failed reading ConstantPoolEntries UTF8
Bytecode Infrastructure
bug blocker resolved
#158: OPAL-Validate Integration Tests (OPAL-Validate/it:test) fails due to a LambdaExpressionWriting Bug
Bytecode Representation
bug blocker resolved
#123: move all "JDK" based (unit) tests to Integration tests (to make it possible to use shippable/bitbucket pipelines)
bug blocker resolved
#122: sbt console doesn't work reliable anymore for most snippets
<OPAL Build Process>
bug blocker on hold
#101: CFG Construction fails in a few case of methods with JSR/RETs
Bytecode Representation
bug blocker resolved
#100: ArrayIndexOutOfBoundsException when analyzing "broken" code
Bytecode Representation
bug blocker resolved
#91: Disassemble .class files without asking for canonical class-name
Bytecode Disassembler
bug blocker resolved
#90: add distinction between classes and types
Bytecode Disassembler
enhancement blocker resolved
#61: Verify the computation of the PostDominatorTree
Abstract Interpretation Framework
bug blocker resolved
#66: The CFG is not correctly build in the presence of nested subroutine calls
Bytecode Representation
bug blocker resolved
#79: Wrong constant pool created
Bytecode Representation
bug blocker resolved
#99: NullPointerException when determining AI-Def/Use information
Abstract Interpretation Framework
bug blocker resolved
#63: MethodParameter Attributes are not handled by the Dependency Extraction Library
Dependencies Extraction Library
bug blocker resolved
#69: the "throws exceptions" analysis reports "gigantic numbers of thrown exceptions"
BugPicker
bug blocker resolved
#62: We can compute the DominatorTree for very, very long, degenerated methods
Common
bug blocker resolved
#113: Cannot load classes of CZT
Bytecode Representation
bug blocker resolved
#112: Fails to compute post-dominator tree if one path results in an infinite loop
Abstract Interpretation Framework
bug blocker resolved
#110: Cannot load classes where we have a jump to a goto which directly jumps to itself
Bytecode Representation
bug blocker resolved
#111: data-flow analysis using the most primitive domain fails for MySQL
Abstract Interpretation Framework
bug blocker resolved
#109: the local variables are pointing to wrong locations, when we have methods with long and double values that are not in tail position
Abstract Interpretation Framework
bug blocker resolved
#107: NOP instruction at program counter of ArrayAllocationSite
Abstract Interpretation Framework
bug blocker resolved
#47: CallGraphConstruction for the JDK 7.0 (Update 51, 55, ?)
Abstract Interpretation Framework
bug blocker resolved
#34: comparison of initialLocals and maxLocals fails
Abstract Interpretation Framework
bug blocker resolved
#24: the handling of ConstantValues of type MethodHandle and MethodType is completely broken
Bytecode Representation
bug blocker resolved
  2. 1
  3. 2
  4. 3
  5. 4
  6. 5
  7. 6
  8. 7
  9. 8