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
#165: Suggestion: Move parts using JavaFX into separate deployment units
Hermes
enhancement major closed
#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
#143: Blocking get for the PropertyStore
Bytecode Representation
proposal trivial closed
#131: Create a new sbt plugin in the opal-project ecosystem: sbt-releasehelper
<OPAL Build Process>
enhancement minor closed
#59: Unused Imports in TOOLS/bp
BugPicker
bug minor closed
#73: TypesSet should support ReferenceTypes
Bytecode Representation
proposal minor wontfix
#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
#70: it is not possible to get a field's properties in the tree view of the bug picker
BugPicker
enhancement minor on hold
#167: Basic Call Graph "Starter"
Abstract Interpretation Framework
enhancement major resolved
#182: ClassHierarchy.isASubtypeOf sometimes returns Unknown even though the supertype is final
Bytecode Representation
bug minor resolved
#87: Superclass for simple dataflow analyses
Abstract Interpretation Framework
proposal minor resolved
#125: Improvement of the PerformInvocations domain
Abstract Interpretation Framework
enhancement minor resolved
#169: Cannot compile Opal placed in a folder that contains spaces
bug major resolved
#170: Incompatible return types
Bytecode Representation
enhancement 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
#168: Internal Properties for FPCF
Static Analysis Framework
proposal minor resolved
#162: Assertion error in TAC generation w.r.t. exception handlers
Abstract Interpretation Framework
bug major resolved
  2. 1
  3. 2
  4. 3
  5. 4
  6. 5
  7. 6
  8. 7
  9. 8