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

Issues

Filter by:

Advanced search

Issues (26–50 of 108)

Title T P Status Votes Assignee Version Created Updated Actions
#128: Get fallback property from PropertyStore
Common
enhancement trivial resolved
#114: PurityAnalysis should treat methods that create implicit exceptions as impure
Bytecode Representation
bug minor resolved
#133: AI with PerformInvokations domain fails on checkstyle-5.1
Abstract Interpretation Framework
bug critical resolved
#137: Generating TAC fails for jedit-4.3.2
Abstract Interpretation Framework
bug critical resolved
#136: Generating TAC fails with PrimitiveTACAIDomain for jasperreports-1.1.0
bug critical invalid
#129: PropertyStore incorrectly sets fallbacks
Common
bug major wontfix
#124: Errors running BugPicker
BugPicker
bug minor resolved
#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
  2. 1
  3. 2
  4. 3
  5. 4
  6. 5