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

Issues

Filter by:

Advanced search

Issues (76–100 of 144)

Title T P Status Votes Assignee Version Created Updated Actions
#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
#82: l2.DefaultDomain fails when interpreting Scala 2.11.8 - TrieIterator.splitArray method
Abstract Interpretation Framework
bug critical resolved
#65: MethodCalls which may throw exceptions are not handled properly by l0.TypeLevelInvokeInstructions
Abstract Interpretation Framework
bug critical resolved
#98: Missing whitespaces
Bytecode Disassembler
bug minor resolved
#93: java.util.Comparator is not correctly identified as a FunctionalInterface
bug major resolved
#88: Usage parameter typo
bug trivial resolved
#80: NullPointerException in br.Code.computeMaxLocalsRequiredByCode with WIDE instruction
Bytecode Representation
bug major 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
#83: DA to XHTML does not seem to work in some corner cases
Bytecode Disassembler
bug critical resolved
#56: reports are empty on Windows/Java 8
BugPicker
bug critical resolved
#117: ensure that local.sbt settings are applied AFTER build.sbt settings
<OPAL Build Process>
bug major 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
#106: NoSuchElementException on ProjectLike#interfaceCall
bug minor resolved
#105: ClassHierarchy.isSubtypeOf doesn't see Object as supertype of SomeClass[]
Bytecode Representation
bug major resolved
#103: When a test-fixture changes all compiled classes/jars should be deleted to ensure that we have a clean state
<OPAL Build Process>
bug minor resolved
  2. 1
  3. 2
  4. 3
  5. 4
  6. 5
  7. 6