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
#182: ClassHierarchy.isASubtypeOf sometimes returns Unknown even though the supertype is final
Bytecode Representation
bug minor resolved
#171: Support Java 11s new attributes and validate that the invoke instructions still work as expected
enhancement minor new
#179: Virtual Call Resolution does not work correctly for private methods
Bytecode Representation
bug minor new
#125: Improvement of the PerformInvocations domain
Abstract Interpretation Framework
enhancement minor resolved
#177: FPCFAnalysesRegistry has no support for triggered schedulers yet
Static Analysis Framework
enhancement major new
#169: Cannot compile Opal placed in a folder that contains spaces
bug major resolved
#156: Field mutability should identify external initialization
Abstract Interpretation Framework
enhancement minor new
#150: Missing Dependency + Misinterpretation of Array Dependency
Dependencies Extraction Library
bug major resolved
#149: Make -Xmx in build.sbt configurable
<OPAL Build Process>
enhancement minor new
#143: Blocking get for the PropertyStore
Bytecode Representation
proposal trivial closed
#142: Adding type parameters to PropertyComputationResult
Bytecode Representation
proposal trivial new
#127: when sorting a table in Hermes, the sorting is done lexically and not by (integer) value
Hermes
enhancement major resolved
#85: in TOOLS/bp/build.sbt: Task zipAllSrc fails, targets nonexistent path
bug minor resolved
#74: Ignored command line parameters
BugPicker
bug major new
#92: Error when comping Bug Picker
BugPicker
bug minor resolved
#91: Disassemble .class files without asking for canonical class-name
Bytecode Disassembler
bug blocker resolved
#89: Body Contents parameter
Bytecode Disassembler
enhancement minor resolved
#90: add distinction between classes and types
Bytecode Disassembler
enhancement blocker resolved
#77: redundant null-check
BugPicker
enhancement minor new
#81: Add support for \r in OPALLogger
enhancement major resolved
#98: Missing whitespaces
Bytecode Disassembler
bug minor resolved
#97: Add class to method-names
Bytecode Disassembler
enhancement minor resolved
#88: Usage parameter typo
bug trivial resolved
#59: Unused Imports in TOOLS/bp
BugPicker
bug minor closed
#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
  8. 7
  9. 8