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
#82: l2.DefaultDomain fails when interpreting Scala 2.11.8 - TrieIterator.splitArray method
Abstract Interpretation Framework
bug critical resolved
#81: Add support for \r in OPALLogger
enhancement major resolved
#80: NullPointerException in br.Code.computeMaxLocalsRequiredByCode with WIDE instruction
Bytecode Representation
bug major resolved
#79: Wrong constant pool created
Bytecode Representation
bug blocker resolved
#78: Setting the log level for a Project doesn't supress all log messages
Bytecode Representation
enhancement minor resolved
#77: redundant null-check
BugPicker
enhancement minor new
#76: False positive in case of exhaustive switches
BugPicker
enhancement minor new
#75: add annotation to disable the generation of known warnings
BugPicker
enhancement major new
#74: Ignored command line parameters
BugPicker
bug major new
#73: TypesSet should support ReferenceTypes
Bytecode Representation
proposal minor wontfix
#72: Support the creation of Java 9 class files
Bytecode Creator (Assembler)
enhancement minor resolved
#71: virtual methods are not correctly taken into account by the "unused fields" analysis
BugPicker
bug major new
#70: it is not possible to get a field's properties in the tree view of the bug picker
BugPicker
enhancement minor on hold
#69: the "throws exceptions" analysis reports "gigantic numbers of thrown exceptions"
BugPicker
bug blocker resolved
#68: Return instructions can throw IllegalMonitorStateExceptions
Abstract Interpretation Framework
bug major resolved
#67: CHA cant be build in application mode
Abstract Interpretation Framework
bug minor resolved
#66: The CFG is not correctly build in the presence of nested subroutine calls
Bytecode Representation
bug blocker resolved
#65: MethodCalls which may throw exceptions are not handled properly by l0.TypeLevelInvokeInstructions
Abstract Interpretation Framework
bug critical resolved
#64: try-with-resources introduces an implicit null check which is flagged as an explicit check
BugPicker
task minor new
#63: MethodParameter Attributes are not handled by the Dependency Extraction Library
Dependencies Extraction Library
bug blocker resolved
#62: We can compute the DominatorTree for very, very long, degenerated methods
Common
bug blocker resolved
#61: Verify the computation of the PostDominatorTree
Abstract Interpretation Framework
bug blocker resolved
#60: Add check for redundant null checks on field values
BugPicker
proposal trivial new
#59: Unused Imports in TOOLS/bp
BugPicker
bug minor closed
#58: NullPointerException when determining AI-Def/Use information
Abstract Interpretation Framework
bug major resolved
  2. 1
  3. 2
  4. 3
  5. 4
  6. 5
  7. 6
  8. 7
  9. 8