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

Issues

Filter by:

Advanced search

Issues (1–25 of 82)

Title T P Status Votes Assignee Version Created Updated Actions
#166: Implement equals on TACode
Abstract Interpretation Framework
bug minor new
#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
#141: NullPointerException in RecordDefUse due to JSR/Ret
Abstract Interpretation Framework
bug major resolved
#159: Failed reading ConstantPoolEntries UTF8
Bytecode Infrastructure
bug blocker resolved
#153: Incorrect interface methods in Project.instanceMethods
Bytecode Representation
bug major resolved
#154: Reading a Jar (Project) fails instantly
Bytecode Representation
bug major closed
#152: instanceMethods returns inherited methods with lower visibility than interface method
Bytecode Representation
bug minor invalid
#155: redundant cycles
Common
bug major invalid
#145: ClassImmutabilityAnalysis contains dead code
Bytecode Representation
bug minor resolved
#140: AbstractInterpretation fails for jboss-5.1.0
Abstract Interpretation Framework
bug major resolved
#160: PKESequentialStore needs updated handling for Cycles
Static Analysis Framework
bug major resolved
#146: StackMapTables are "sometimes" invalid ("SameFrame" is used too often)
Bytecode Assembler
bug major resolved
#138: inttrieset needs intersect and += iterateuntil
Common
bug major resolved
#104: PurityAnalysis accepts methods returning mutable references as pure
Bytecode Representation
bug minor resolved
#147: Lazy property computation is ordering dependent
bug minor resolved
#114: PurityAnalysis should treat methods that create implicit exceptions as impure
Bytecode Representation
bug minor resolved
#133: AI with PerformInvokations domain fails on checkstyle-5.1
Abstract Interpretation Framework
bug critical 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
#129: PropertyStore incorrectly sets fallbacks
Common
bug major wontfix
#124: Errors running BugPicker
BugPicker
bug minor resolved
#123: move all "JDK" based (unit) tests to Integration tests (to make it possible to use shippable/bitbucket pipelines)
bug blocker resolved
#121: Performance regression when we compute RecordDefUse for OPAL-AllProjects-...
Abstract Interpretation Framework
bug critical resolved
#101: CFG Construction fails in a few case of methods with JSR/RETs
Bytecode Representation
bug blocker resolved
  2. 1
  3. 2
  4. 3
  5. 4