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
#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
#148: TypeExtensibility produce non-deterministic results
bug critical resolved
#143: Blocking get for the PropertyStore
Bytecode Representation
proposal trivial closed
#128: Get fallback property from PropertyStore
Common
enhancement trivial resolved
#142: Adding type parameters to PropertyComputationResult
Bytecode Representation
proposal trivial new
#119: have a file external to build.sbt that makes per-machine build setting adaptations possible
<OPAL Build Process>
enhancement major resolved
#130: Update to sbt 1.1.0
<OPAL Build Process>
enhancement minor resolved
#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
#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
#131: Create a new sbt plugin in the opal-project ecosystem: sbt-releasehelper
<OPAL Build Process>
enhancement minor closed
#118: Externalize ALL dependencies into project/Dependencies.scala
<OPAL Build Process>
enhancement major resolved
#121: Performance regression when we compute RecordDefUse for OPAL-AllProjects-...
Abstract Interpretation Framework
bug critical resolved
#120: Investigate scalariform update
<OPAL Build Process>
enhancement minor resolved
#101: CFG Construction fails in a few case of methods with JSR/RETs
Bytecode Representation
bug blocker resolved
#100: ArrayIndexOutOfBoundsException when analyzing "broken" code
Bytecode Representation
bug blocker resolved
#85: in TOOLS/bp/build.sbt: Task zipAllSrc fails, targets nonexistent path
bug minor resolved
  2. 1
  3. 2
  4. 3
  5. 4
  6. 5
  7. 6
  8. 7
  9. 8