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

Issues

Filter by:

Advanced search

Issues (1–23 of 23)

Title T P Status Votes Assignee Version Created Updated Actions
#179: Virtual Call Resolution does not work correctly for private methods
Bytecode Representation
bug minor new
#180: Findings are printed twice
Demos
bug minor new
#178: Assertion in DeclaredMethodsKey
bug major new
#166: Implement equals on TACode
Abstract Interpretation Framework
bug minor new
#139: Investigate fixture recompilation issues
<OPAL Build Process>
bug major new
#74: Ignored command line parameters
BugPicker
bug major new
#71: virtual methods are not correctly taken into account by the "unused fields" analysis
BugPicker
bug major new
#54: Handle Negation of Booleans
BugPicker
bug major new
#171: Support Java 11s new attributes and validate that the invoke instructions still work as expected
enhancement minor new
#177: FPCFAnalysesRegistry has no support for triggered schedulers yet
Static Analysis Framework
enhancement major new
#174: FPCFAnalysesIntegrationTest.config is not maintainable
Abstract Interpretation Framework
enhancement major new
#176: May-alias analysis/domain for Fields and Arrays to improve the escape analysis
Abstract Interpretation Framework
enhancement minor new
#156: Field mutability should identify external initialization
Abstract Interpretation Framework
enhancement minor new
#149: Make -Xmx in build.sbt configurable
<OPAL Build Process>
enhancement minor new
#157: Improving the purity analysis
Abstract Interpretation Framework
enhancement minor new
#76: False positive in case of exhaustive switches
BugPicker
enhancement minor new
#77: redundant null-check
BugPicker
enhancement minor new
#75: add annotation to disable the generation of known warnings
BugPicker
enhancement major new
#144: IntermediateResult should take dependees as Set[SomeEPK]
Bytecode Representation
proposal minor new
#142: Adding type parameters to PropertyComputationResult
Bytecode Representation
proposal trivial new
#60: Add check for redundant null checks on field values
BugPicker
proposal trivial new
#175: Readme.md for the design decisions for the call graph analyses.
Abstract Interpretation Framework
task major new
#64: try-with-resources introduces an implicit null check which is flagged as an explicit check
BugPicker
task minor new