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
#157: Improving the purity analysis
Abstract Interpretation Framework
enhancement minor new
#156: Field mutability should identify external initialization
Abstract Interpretation Framework
enhancement minor new
#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
#152: instanceMethods returns inherited methods with lower visibility than interface method
Bytecode Representation
bug minor invalid
#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
#149: Make -Xmx in build.sbt configurable
<OPAL Build Process>
enhancement minor new
#148: TypeExtensibility produce non-deterministic results
bug critical resolved
#147: Lazy property computation is ordering dependent
bug minor resolved
#146: StackMapTables are "sometimes" invalid ("SameFrame" is used too often)
Bytecode Assembler
bug major resolved
#145: ClassImmutabilityAnalysis contains dead code
Bytecode Representation
bug minor resolved
#144: IntermediateResult should take dependees as Set[SomeEPK]
Bytecode Representation
proposal minor new
#143: Blocking get for the PropertyStore
Bytecode Representation
proposal trivial closed
#142: Adding type parameters to PropertyComputationResult
Bytecode Representation
proposal trivial new
#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
#137: Generating TAC fails for jedit-4.3.2
Abstract Interpretation Framework
bug critical resolved
#136: Generating TAC fails with PrimitiveTACAIDomain for jasperreports-1.1.0
bug critical invalid
#135: ExceptionUsageTest: ExceptionUsagf$Foo.qux is falsely annotated.
Validate
bug minor closed
#134: ThrowsExceptionTest: ExceptionUsages.doesNotThrowException() is falsely annotated
Validate
bug minor resolved
#133: AI with PerformInvokations domain fails on checkstyle-5.1
Abstract Interpretation Framework
bug critical resolved
  2. 1
  3. 2
  4. 3
  5. 4
  6. 5
  7. 6
  8. 7
  9. 8