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

Issues

Filter by:

Advanced search

Issues (151–175 of 182)

Title T P Status Votes Assignee Version Created Updated Actions
#11: if we join arrays with multiple dimensions (>1) or if we join multi-dimensional primitive arrays with (one-dimensional) arrays too much type information is lost
Abstract Interpretation Framework
bug blocker resolved
#12: there seems to be a difference the "valueIsSubtypeOf" method and the possibility to refine a type if the check fails
Abstract Interpretation Framework
bug blocker resolved
#8: MethodDescriptor.NoArgsAndReturnVoid should be a val
Bytecode Representation
enhancement trivial resolved
#7: ClassCastException when adapting AnIntegerValue
Abstract Interpretation Framework
bug major resolved
#5: StackOverflowError when calling summarize of DefaultPreciseReferenceValues
Abstract Interpretation Framework
bug major 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
#3: Origin should return empty Iterable
Abstract Interpretation Framework
proposal major resolved
#1: In some rare cases the tracking of Array values fails
Abstract Interpretation Framework
bug major resolved
#171: Support Java 11s new attributes and validate that the invoke instructions still work as expected
enhancement minor new
#179: Virtual Call Resolution does not work correctly for private methods
Bytecode Representation
bug minor new
#180: Findings are printed twice
Demos
bug minor new
#178: Assertion in DeclaredMethodsKey
bug major new
#177: FPCFAnalysesRegistry has no support for triggered schedulers yet
Static Analysis Framework
enhancement major new
#174: FPCFAnalysesIntegrationTest.config is not maintainable
Abstract Interpretation Framework
enhancement major new
#176: May-alias analysis/domain for Fields and Arrays to improve the escape analysis
Abstract Interpretation Framework
enhancement minor new
#175: Readme.md for the design decisions for the call graph analyses.
Abstract Interpretation Framework
task major new
#166: Implement equals on TACode
Abstract Interpretation Framework
bug minor new
#156: Field mutability should identify external initialization
Abstract Interpretation Framework
enhancement minor new
#149: Make -Xmx in build.sbt configurable
<OPAL Build Process>
enhancement minor new
#144: IntermediateResult should take dependees as Set[SomeEPK]
Bytecode Representation
proposal minor new
#157: Improving the purity analysis
Abstract Interpretation Framework
enhancement minor new
#142: Adding type parameters to PropertyComputationResult
Bytecode Representation
proposal trivial new
#139: Investigate fixture recompilation issues
<OPAL Build Process>
bug major new
#74: Ignored command line parameters
BugPicker
bug major new
  2. 1
  3. 2
  4. 3
  5. 4
  6. 5
  7. 6
  8. 7
  9. 8