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

Issues

Filter by:

Advanced search

Issues (1–25 of 86)

Title T P Status Votes Assignee Version Created Updated Actions
#178: Assertion in DeclaredMethodsKey
bug major new
#177: FPCFAnalysesRegistry has no support for triggered schedulers yet
Static Analysis Framework
enhancement major 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
#170: Incompatible return types
Bytecode Representation
enhancement major resolved
#169: Cannot compile Opal placed in a folder that contains spaces
bug major resolved
#167: Basic Call Graph "Starter"
Abstract Interpretation Framework
enhancement major resolved
#165: Suggestion: Move parts using JavaFX into separate deployment units
Hermes
enhancement major closed
#164: FPCFAnalysisIntegrationTest fails
Abstract Interpretation Framework
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
#160: PKESequentialStore needs updated handling for Cycles
Static Analysis Framework
bug major 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
#151: should ProjectLike.resolveMethodReference also consider interfaces implemented by superclass
Bytecode Representation
task 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
#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
#139: Investigate fixture recompilation issues
<OPAL Build Process>
bug major new
#138: inttrieset needs intersect and += iterateuntil
Common
bug major resolved
#129: PropertyStore incorrectly sets fallbacks
Common
bug major wontfix
  2. 1
  3. 2
  4. 3
  5. 4