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

Issues

Filter by:

Advanced search

Issues (1–25 of 48)

Title T P Status Votes Assignee Version Created Updated Actions
#179: Virtual Call Resolution does not work correctly for private methods
Bytecode Representation
bug minor new
#125: Improvement of the PerformInvocations domain
Abstract Interpretation Framework
enhancement minor resolved
#152: instanceMethods returns inherited methods with lower visibility than interface method
Bytecode Representation
bug minor invalid
#156: Field mutability should identify external initialization
Abstract Interpretation Framework
enhancement minor new
#145: ClassImmutabilityAnalysis contains dead code
Bytecode Representation
bug minor resolved
#149: Make -Xmx in build.sbt configurable
<OPAL Build Process>
enhancement minor new
#73: TypesSet should support ReferenceTypes
Bytecode Representation
proposal minor wontfix
#94: Entry Points are not detected in some cases
Bytecode Representation
bug minor closed
#157: Improving the purity analysis
Abstract Interpretation Framework
enhancement minor new
#72: Support the creation of Java 9 class files
Bytecode Creator (Assembler)
enhancement minor resolved
#135: ExceptionUsageTest: ExceptionUsagf$Foo.qux is falsely annotated.
Validate
bug minor closed
#147: Lazy property computation is ordering dependent
bug minor resolved
#134: ThrowsExceptionTest: ExceptionUsages.doesNotThrowException() is falsely annotated
Validate
bug minor resolved
#130: Update to sbt 1.1.0
<OPAL Build Process>
enhancement minor resolved
#114: PurityAnalysis should treat methods that create implicit exceptions as impure
Bytecode Representation
bug minor resolved
#131: Create a new sbt plugin in the opal-project ecosystem: sbt-releasehelper
<OPAL Build Process>
enhancement minor closed
#120: Investigate scalariform update
<OPAL Build Process>
enhancement minor resolved
#85: in TOOLS/bp/build.sbt: Task zipAllSrc fails, targets nonexistent path
bug minor resolved
#64: try-with-resources introduces an implicit null check which is flagged as an explicit check
BugPicker
task minor new
#92: Error when comping Bug Picker
BugPicker
bug minor resolved
#89: Body Contents parameter
Bytecode Disassembler
enhancement minor resolved
#76: False positive in case of exhaustive switches
BugPicker
enhancement minor new
#70: it is not possible to get a field's properties in the tree view of the bug picker
BugPicker
enhancement minor on hold
#67: CHA cant be build in application mode
Abstract Interpretation Framework
bug minor resolved
#96: Some exception handlers are now longer "required/valid"
Abstract Interpretation Framework
bug minor resolved
  2. 1
  3. 2