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

Issues

Filter by:

Advanced search

Issues (1–25 of 125)

Title T P Status Votes Assignee Version Created Updated Actions
#181: ...support.info.Purity
Tools
bug blocker closed
#154: Reading a Jar (Project) fails instantly
Bytecode Representation
bug major closed
#94: Entry Points are not detected in some cases
Bytecode Representation
bug minor closed
#135: ExceptionUsageTest: ExceptionUsagf$Foo.qux is falsely annotated.
Validate
bug minor closed
#59: Unused Imports in TOOLS/bp
BugPicker
bug minor closed
#129: PropertyStore incorrectly sets fallbacks
Common
bug major wontfix
#152: instanceMethods returns inherited methods with lower visibility than interface method
Bytecode Representation
bug minor invalid
#155: redundant cycles
Common
bug major invalid
#136: Generating TAC fails with PrimitiveTACAIDomain for jasperreports-1.1.0
bug critical invalid
#122: sbt console doesn't work reliable anymore for most snippets
<OPAL Build Process>
bug blocker on hold
#182: ClassHierarchy.isASubtypeOf sometimes returns Unknown even though the supertype is final
Bytecode Representation
bug minor resolved
#169: Cannot compile Opal placed in a folder that contains spaces
bug major resolved
#173: FieldAndArrayUsageAnalysis does not seem to use the PropertyStore properly
Demos
bug major resolved
#172: UnnecessarySynchronizationAnalysis does not use the PropertyStore appropriately
Demos
bug major resolved
#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
#158: OPAL-Validate Integration Tests (OPAL-Validate/it:test) fails due to a LambdaExpressionWriting Bug
Bytecode Representation
bug blocker resolved
#153: Incorrect interface methods in Project.instanceMethods
Bytecode Representation
bug major resolved
#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
#150: Missing Dependency + Misinterpretation of Array Dependency
Dependencies Extraction Library
bug major resolved
#146: StackMapTables are "sometimes" invalid ("SameFrame" is used too often)
Bytecode Assembler
bug major resolved
  2. 1
  3. 2
  4. 3
  5. 4
  6. 5