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
#123: move all "JDK" based (unit) tests to Integration tests (to make it possible to use shippable/bitbucket pipelines)
bug blocker resolved
#121: Performance regression when we compute RecordDefUse for OPAL-AllProjects-...
Abstract Interpretation Framework
bug critical resolved
#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
#84: scala> org.opalj.ba.toDA(p.classFile(ObjectType("lambdas/MethodReferences")).get) does not work on develop
bug major resolved
#64: try-with-resources introduces an implicit null check which is flagged as an explicit check
BugPicker
task minor new
#76: False positive in case of exhaustive switches
BugPicker
enhancement minor new
#68: Return instructions can throw IllegalMonitorStateExceptions
Abstract Interpretation Framework
bug major resolved
#96: Some exception handlers are now longer "required/valid"
Abstract Interpretation Framework
bug minor 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
#71: virtual methods are not correctly taken into account by the "unused fields" analysis
BugPicker
bug major new
#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
#93: java.util.Comparator is not correctly identified as a FunctionalInterface
bug major resolved
#95: Missing Instructions on TAC for AllocationSites
Bytecode Representation
task minor 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
#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
#19: [Java 8] Develop tests that explicitly take the method resolution for Java 8 into consideration!
Abstract Interpretation Framework
enhancement major resolved
#60: Add check for redundant null checks on field values
BugPicker
proposal trivial new
  2. 1
  3. 2
  4. 3
  5. 4
  6. 5
  7. 6
  8. 7
  9. 8