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

Issues

Filter by:

Advanced search

Issues (1–25 of 86)

Title T P Status Votes Assignee Version Created Updated Actions
#177: FPCFAnalysesRegistry has no support for triggered schedulers yet
Static Analysis Framework
enhancement major new
#169: Cannot compile Opal placed in a folder that contains spaces
bug major resolved
#150: Missing Dependency + Misinterpretation of Array Dependency
Dependencies Extraction Library
bug major resolved
#127: when sorting a table in Hermes, the sorting is done lexically and not by (integer) value
Hermes
enhancement major resolved
#74: Ignored command line parameters
BugPicker
bug major new
#81: Add support for \r in OPALLogger
enhancement major resolved
#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
#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
#7: ClassCastException when adapting AnIntegerValue
Abstract Interpretation Framework
bug major resolved
#5: StackOverflowError when calling summarize of DefaultPreciseReferenceValues
Abstract Interpretation Framework
bug major resolved
#4: Generalization resolved.Type: add toJavaType
Bytecode Representation
enhancement major resolved
#167: Basic Call Graph "Starter"
Abstract Interpretation Framework
enhancement major resolved
#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
#119: have a file external to build.sbt that makes per-machine build setting adaptations possible
<OPAL Build Process>
enhancement major resolved
#139: Investigate fixture recompilation issues
<OPAL Build Process>
bug major new
#115: Build: Scalariform plugin repeatedly formatting sources
<OPAL Build Process>
bug major resolved
  2. 1
  3. 2
  4. 3
  5. 4