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

Issues

Filter by:

Advanced search

Issues (26–50 of 182)

Title T P Status Votes Assignee Version Created Updated Actions
#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
#156: Field mutability should identify external initialization
Abstract Interpretation Framework
enhancement minor new
#151: should ProjectLike.resolveMethodReference also consider interfaces implemented by superclass
Bytecode Representation
task 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
#132: "Export Flares" is currently useless (infrastructure to create SVGs in a headless manner lacks)
Hermes
enhancement trivial resolved
#150: Missing Dependency + Misinterpretation of Array Dependency
Dependencies Extraction Library
bug major resolved
#149: Make -Xmx in build.sbt configurable
<OPAL Build Process>
enhancement minor new
#146: StackMapTables are "sometimes" invalid ("SameFrame" is used too often)
Bytecode Assembler
bug major resolved
#164: FPCFAnalysisIntegrationTest fails
Abstract Interpretation Framework
bug major resolved
#138: inttrieset needs intersect and += iterateuntil
Common
bug major resolved
#163: Hermes Locations Writer produces \n for class file version query
Hermes
bug minor resolved
#73: TypesSet should support ReferenceTypes
Bytecode Representation
proposal minor wontfix
#144: IntermediateResult should take dependees as Set[SomeEPK]
Bytecode Representation
proposal minor new
#94: Entry Points are not detected in some cases
Bytecode Representation
bug minor closed
#157: Improving the purity analysis
Abstract Interpretation Framework
enhancement minor new
#72: Support the creation of Java 9 class files
Bytecode Creator (Assembler)
enhancement minor resolved
#135: ExceptionUsageTest: ExceptionUsagf$Foo.qux is falsely annotated.
Validate
bug minor closed
#104: PurityAnalysis accepts methods returning mutable references as pure
Bytecode Representation
bug minor resolved
#147: Lazy property computation is ordering dependent
bug minor resolved
#134: ThrowsExceptionTest: ExceptionUsages.doesNotThrowException() is falsely annotated
Validate
bug minor resolved
  2. 1
  3. 2
  4. 3
  5. 4
  6. 5
  7. 6
  8. 7
  9. 8