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

Issues

Filter by:

Advanced search

Issues (1–19 of 19)

Title T P Status Votes Assignee Version Created Updated Actions
#64: try-with-resources introduces an implicit null check which is flagged as an explicit check
BugPicker
task minor new
#95: Missing Instructions on TAC for AllocationSites
Bytecode Representation
task minor resolved
#168: Internal Properties for FPCF
Static Analysis Framework
proposal 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
#176: May-alias analysis/domain for Fields and Arrays to improve the escape analysis
Abstract Interpretation Framework
enhancement minor new
#72: Support the creation of Java 9 class files
Bytecode Creator (Assembler)
enhancement minor resolved
#76: False positive in case of exhaustive switches
BugPicker
enhancement minor new
#78: Setting the log level for a Project doesn't supress all log messages
Bytecode Representation
enhancement minor resolved
#108: Control-flow simplification
Bytecode Representation
enhancement minor resolved
#166: Implement equals on TACode
Abstract Interpretation Framework
bug minor new
#152: instanceMethods returns inherited methods with lower visibility than interface method
Bytecode Representation
bug minor invalid
#145: ClassImmutabilityAnalysis contains dead code
Bytecode Representation
bug minor resolved
#104: PurityAnalysis accepts methods returning mutable references as pure
Bytecode Representation
bug minor resolved
#147: Lazy property computation is ordering dependent
bug minor resolved
#114: PurityAnalysis should treat methods that create implicit exceptions as impure
Bytecode Representation
bug minor resolved
#124: Errors running BugPicker
BugPicker
bug minor resolved
#96: Some exception handlers are now longer "required/valid"
Abstract Interpretation Framework
bug minor resolved
#106: NoSuchElementException on ProjectLike#interfaceCall
bug minor resolved