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

Issues

Filter by:

Advanced search

Issues (76–100 of 182)

Title T P Status Votes Assignee Version Created Updated Actions
#145: ClassImmutabilityAnalysis contains dead code
Bytecode Representation
bug minor resolved
#140: AbstractInterpretation fails for jboss-5.1.0
Abstract Interpretation Framework
bug major resolved
#160: PKESequentialStore needs updated handling for Cycles
Static Analysis Framework
bug major resolved
#150: Missing Dependency + Misinterpretation of Array Dependency
Dependencies Extraction Library
bug major resolved
#146: StackMapTables are "sometimes" invalid ("SameFrame" is used too often)
Bytecode Assembler
bug major resolved
#164: FPCFAnalysisIntegrationTest fails
Abstract Interpretation Framework
bug major resolved
#138: inttrieset needs intersect and += iterateuntil
Common
bug major resolved
#163: Hermes Locations Writer produces \n for class file version query
Hermes
bug minor resolved
#94: Entry Points are not detected in some cases
Bytecode Representation
bug minor closed
#135: ExceptionUsageTest: ExceptionUsagf$Foo.qux is falsely annotated.
Validate
bug minor closed
#104: PurityAnalysis accepts methods returning mutable references as pure
Bytecode Representation
bug minor resolved
#147: Lazy property computation is ordering dependent
bug minor resolved
#134: ThrowsExceptionTest: ExceptionUsages.doesNotThrowException() is falsely annotated
Validate
bug minor resolved
#148: TypeExtensibility produce non-deterministic results
bug critical 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
#114: PurityAnalysis should treat methods that create implicit exceptions as impure
Bytecode Representation
bug minor resolved
#133: AI with PerformInvokations domain fails on checkstyle-5.1
Abstract Interpretation Framework
bug critical resolved
#137: Generating TAC fails for jedit-4.3.2
Abstract Interpretation Framework
bug critical resolved
#136: Generating TAC fails with PrimitiveTACAIDomain for jasperreports-1.1.0
bug critical invalid
#129: PropertyStore incorrectly sets fallbacks
Common
bug major wontfix
#124: Errors running BugPicker
BugPicker
bug minor resolved
#123: move all "JDK" based (unit) tests to Integration tests (to make it possible to use shippable/bitbucket pipelines)
bug blocker resolved
#121: Performance regression when we compute RecordDefUse for OPAL-AllProjects-...
Abstract Interpretation Framework
bug critical resolved
#122: sbt console doesn't work reliable anymore for most snippets
<OPAL Build Process>
bug blocker on hold
  2. 1
  3. 2
  4. 3
  5. 4
  6. 5
  7. 6
  8. 7
  9. 8