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
#175: Readme.md for the design decisions for the call graph analyses.
Abstract Interpretation Framework
task major new
#151: should ProjectLike.resolveMethodReference also consider interfaces implemented by superclass
Bytecode Representation
task major resolved
#64: try-with-resources introduces an implicit null check which is flagged as an explicit check
BugPicker
task minor new
#95: Missing Instructions on TAC for AllocationSites
Bytecode Representation
task minor resolved
#87: Superclass for simple dataflow analyses
Abstract Interpretation Framework
proposal minor resolved
#168: Internal Properties for FPCF
Static Analysis Framework
proposal minor resolved
#73: TypesSet should support ReferenceTypes
Bytecode Representation
proposal minor wontfix
#144: IntermediateResult should take dependees as Set[SomeEPK]
Bytecode Representation
proposal minor new
#143: Blocking get for the PropertyStore
Bytecode Representation
proposal trivial closed
#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
#3: Origin should return empty Iterable
Abstract Interpretation Framework
proposal major resolved
#167: Basic Call Graph "Starter"
Abstract Interpretation Framework
enhancement major resolved
#165: Suggestion: Move parts using JavaFX into separate deployment units
Hermes
enhancement major closed
#171: Support Java 11s new attributes and validate that the invoke instructions still work as expected
enhancement 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
#174: FPCFAnalysesIntegrationTest.config is not maintainable
Abstract Interpretation Framework
enhancement major new
#170: Incompatible return types
Bytecode Representation
enhancement major resolved
#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
#132: "Export Flares" is currently useless (infrastructure to create SVGs in a headless manner lacks)
Hermes
enhancement trivial resolved
#149: Make -Xmx in build.sbt configurable
<OPAL Build Process>
enhancement minor new
#157: Improving the purity analysis
Abstract Interpretation Framework
enhancement minor new
#72: Support the creation of Java 9 class files
Bytecode Creator (Assembler)
enhancement minor resolved
  2. 1
  3. 2
  4. 3
  5. 4
  6. 5
  7. 6
  8. 7
  9. 8