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
#182: ClassHierarchy.isASubtypeOf sometimes returns Unknown even though the supertype is final
Bytecode Representation
bug minor resolved
#181: ...support.info.Purity
Tools
bug blocker closed
#180: Findings are printed twice
Demos
bug minor new
#179: Virtual Call Resolution does not work correctly for private methods
Bytecode Representation
bug minor new
#178: Assertion in DeclaredMethodsKey
bug major new
#177: FPCFAnalysesRegistry has no support for triggered schedulers yet
Static Analysis Framework
enhancement major new
#176: May-alias analysis/domain for Fields and Arrays to improve the escape analysis
Abstract Interpretation Framework
enhancement minor new
#175: Readme.md for the design decisions for the call graph analyses.
Abstract Interpretation Framework
task major new
#174: FPCFAnalysesIntegrationTest.config is not maintainable
Abstract Interpretation Framework
enhancement major new
#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
#171: Support Java 11s new attributes and validate that the invoke instructions still work as expected
enhancement minor new
#170: Incompatible return types
Bytecode Representation
enhancement major resolved
#169: Cannot compile Opal placed in a folder that contains spaces
bug major resolved
#168: Internal Properties for FPCF
Static Analysis Framework
proposal minor resolved
#167: Basic Call Graph "Starter"
Abstract Interpretation Framework
enhancement major 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
#164: FPCFAnalysisIntegrationTest fails
Abstract Interpretation Framework
bug major resolved
#163: Hermes Locations Writer produces \n for class file version query
Hermes
bug minor 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
#160: PKESequentialStore needs updated handling for Cycles
Static Analysis 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
  2. 1
  3. 2
  4. 3
  5. 4
  6. 5
  7. 6
  8. 7
  9. 8