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

Issues

Filter by:

Advanced search

Issues (1–25 of 108)

Title T P Status Votes Assignee Version Created Updated Actions
#176: May-alias analysis/domain for Fields and Arrays to improve the escape analysis
Abstract Interpretation Framework
enhancement minor new
#170: Incompatible return types
Bytecode Representation
enhancement major resolved
#168: Internal Properties for FPCF
Static Analysis Framework
proposal minor resolved
#166: Implement equals on TACode
Abstract Interpretation Framework
bug minor new
#165: Suggestion: Move parts using JavaFX into separate deployment units
Hermes
enhancement major closed
#162: Assertion error in TAC generation w.r.t. exception handlers
Abstract Interpretation Framework
bug major resolved
#161: TACAIAnalysisIntegrationTest fails
Abstract Interpretation Framework
bug major resolved
#160: PKESequentialStore needs updated handling for Cycles
Static Analysis Framework
bug major resolved
#159: Failed reading ConstantPoolEntries UTF8
Bytecode Infrastructure
bug blocker resolved
#155: redundant cycles
Common
bug major invalid
#154: Reading a Jar (Project) fails instantly
Bytecode Representation
bug major closed
#153: Incorrect interface methods in Project.instanceMethods
Bytecode Representation
bug major resolved
#152: instanceMethods returns inherited methods with lower visibility than interface method
Bytecode Representation
bug minor invalid
#151: should ProjectLike.resolveMethodReference also consider interfaces implemented by superclass
Bytecode Representation
task major resolved
#147: Lazy property computation is ordering dependent
bug minor resolved
#146: StackMapTables are "sometimes" invalid ("SameFrame" is used too often)
Bytecode Assembler
bug major resolved
#145: ClassImmutabilityAnalysis contains dead code
Bytecode Representation
bug minor resolved
#144: IntermediateResult should take dependees as Set[SomeEPK]
Bytecode Representation
proposal minor new
#141: NullPointerException in RecordDefUse due to JSR/Ret
Abstract Interpretation Framework
bug major resolved
#140: AbstractInterpretation fails for jboss-5.1.0
Abstract Interpretation Framework
bug major resolved
#138: inttrieset needs intersect and += iterateuntil
Common
bug major resolved
#137: Generating TAC fails for jedit-4.3.2
Abstract Interpretation Framework
bug critical resolved
#136: Generating TAC fails with PrimitiveTACAIDomain for jasperreports-1.1.0
bug critical invalid
#133: AI with PerformInvokations domain fails on checkstyle-5.1
Abstract Interpretation Framework
bug critical resolved
#132: "Export Flares" is currently useless (infrastructure to create SVGs in a headless manner lacks)
Hermes
enhancement trivial resolved
  2. 1
  3. 2
  4. 3
  5. 4
  6. 5