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

Issues

Filter by:

Advanced search

Issues (76–100 of 182)

Title T P Status Votes Assignee Version Created Updated Actions
#88: Usage parameter typo
bug trivial 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
#54: Handle Negation of Booleans
BugPicker
bug major new
#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
#59: Unused Imports in TOOLS/bp
BugPicker
bug minor closed
#117: ensure that local.sbt settings are applied AFTER build.sbt settings
<OPAL Build Process>
bug major resolved
#116: calling sbt in OPAL/bp and also OPAL/TOOLS/bp results in a deprecation warning
<OPAL Build Process>
enhancement 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
#78: Setting the log level for a Project doesn't supress all log messages
Bytecode Representation
enhancement minor resolved
#86: pureness analysis failed
Bytecode Representation
bug critical resolved
#108: Control-flow simplification
Bytecode Representation
enhancement minor resolved
#42: Mapping of parameter indexes to stack indexes seems to be wrong
Demos
bug major resolved
#32: CHA and VTACallgrapDomain fail on unknow ObjectType
Abstract Interpretation Framework
bug major resolved
#40: Signature parsing fails
bug major resolved
  2. 1
  3. 2
  4. 3
  5. 4
  6. 5
  7. 6
  8. 7
  9. 8