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
#40: Signature parsing fails
bug major resolved
#46: UShortSet not storing values correctly
bug major resolved
#43: Can't run demos on 32bit system due to -Xmx8G
bug major resolved
#51: InterpretationFailedException
BugPicker
bug major resolved
#52: MaxCallChainLength: Value of 1 results in more issues that a value of 2
BugPicker
enhancement minor resolved
#53: Running analysis produces warning
BugPicker
bug minor resolved
#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
#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
#63: MethodParameter Attributes are not handled by the Dependency Extraction Library
Dependencies Extraction Library
bug blocker resolved
#167: Basic Call Graph "Starter"
Abstract Interpretation Framework
enhancement major resolved
#180: Findings are printed twice
Demos
bug minor new
#175: Readme.md for the design decisions for the call graph analyses.
Abstract Interpretation Framework
task major new
#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
#135: ExceptionUsageTest: ExceptionUsagf$Foo.qux is falsely annotated.
Validate
bug minor closed
#134: ThrowsExceptionTest: ExceptionUsages.doesNotThrowException() is falsely annotated
Validate
bug minor resolved
#119: have a file external to build.sbt that makes per-machine build setting adaptations possible
<OPAL Build Process>
enhancement major resolved
  2. 1
  3. 2
  4. 3
  5. 4
  6. 5
  7. 6
  8. 7
  9. 8