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

Issues

Filter by:

Advanced search

Issues (1–25 of 44)

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
#179: Virtual Call Resolution does not work correctly for private methods
Bytecode Representation
bug minor new
#143: Blocking get for the PropertyStore
Bytecode Representation
proposal trivial closed
#142: Adding type parameters to PropertyComputationResult
Bytecode Representation
proposal trivial new
#23: ClassFiles(java.io.File) crashes when the given file doesn't exist
Bytecode Representation
bug major resolved
#21: BATException not in package bat
Bytecode Representation
bug major resolved
#22: IndexBasedProject doesn't add libraryClassFiles to classHierarchy
Bytecode Representation
bug major resolved
#20: BAT crashes when loading empty (0-byte) .jar files
Bytecode Representation
bug major resolved
#17: [Java 8] Support the new MethodParametersAttribute
Bytecode Representation
enhancement major resolved
#8: MethodDescriptor.NoArgsAndReturnVoid should be a val
Bytecode Representation
enhancement trivial resolved
#6: ScalaDoc in de.tud.cs.st.bat.resolved.analyses.ClassHierarchy outdated
Bytecode Representation
bug trivial resolved
#4: Generalization resolved.Type: add toJavaType
Bytecode Representation
enhancement major resolved
#158: OPAL-Validate Integration Tests (OPAL-Validate/it:test) fails due to a LambdaExpressionWriting Bug
Bytecode Representation
bug blocker resolved
#170: Incompatible return types
Bytecode Representation
enhancement major resolved
#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
#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
#73: TypesSet should support ReferenceTypes
Bytecode Representation
proposal minor wontfix
#144: IntermediateResult should take dependees as Set[SomeEPK]
Bytecode Representation
proposal minor new
#104: PurityAnalysis accepts methods returning mutable references as pure
Bytecode Representation
bug minor resolved
#114: PurityAnalysis should treat methods that create implicit exceptions as impure
Bytecode Representation
bug minor resolved
#101: CFG Construction fails in a few case of methods with JSR/RETs
Bytecode Representation
bug blocker resolved
#100: ArrayIndexOutOfBoundsException when analyzing "broken" code
Bytecode Representation
bug blocker resolved
  2. 1
  3. 2