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
#132: "Export Flares" is currently useless (infrastructure to create SVGs in a headless manner lacks)
Hermes
enhancement trivial resolved
#143: Blocking get for the PropertyStore
Bytecode Representation
proposal trivial closed
#128: Get fallback property from PropertyStore
Common
enhancement trivial resolved
#142: Adding type parameters to PropertyComputationResult
Bytecode Representation
proposal trivial new
#88: Usage parameter typo
bug trivial resolved
#60: Add check for redundant null checks on field values
BugPicker
proposal trivial new
#8: MethodDescriptor.NoArgsAndReturnVoid should be a val
Bytecode Representation
enhancement trivial resolved
#6: ScalaDoc in de.tud.cs.st.bat.resolved.analyses.ClassHierarchy outdated
Bytecode Representation
bug trivial resolved
#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
#180: Findings are printed twice
Demos
bug minor new
#87: Superclass for simple dataflow analyses
Abstract Interpretation Framework
proposal minor resolved
#125: Improvement of the PerformInvocations domain
Abstract Interpretation Framework
enhancement minor resolved
#176: May-alias analysis/domain for Fields and Arrays to improve the escape analysis
Abstract Interpretation Framework
enhancement minor new
#168: Internal Properties for FPCF
Static Analysis Framework
proposal minor resolved
#166: Implement equals on TACode
Abstract Interpretation Framework
bug minor new
#152: instanceMethods returns inherited methods with lower visibility than interface method
Bytecode Representation
bug minor invalid
#156: Field mutability should identify external initialization
Abstract Interpretation Framework
enhancement minor new
#145: ClassImmutabilityAnalysis contains dead code
Bytecode Representation
bug minor resolved
#149: Make -Xmx in build.sbt configurable
<OPAL Build Process>
enhancement minor new
#163: Hermes Locations Writer produces \n for class file version query
Hermes
bug 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
#94: Entry Points are not detected in some cases
Bytecode Representation
bug minor closed
  2. 1
  3. 2
  4. 3
  5. 4
  6. 5
  7. 6
  8. 7
  9. 8