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

Issues

Filter by:

Advanced search

Issues (51–75 of 182)

Title T P Status Votes Assignee Version Created Updated Actions
#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
#139: Investigate fixture recompilation issues
<OPAL Build Process>
bug major new
#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
#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
#126: Compiling the fixtures plugin raises 13 feature warnings
<OPAL Build Process>
enhancement major resolved
#131: Create a new sbt plugin in the opal-project ecosystem: sbt-releasehelper
<OPAL Build Process>
enhancement minor closed
#124: Errors running BugPicker
BugPicker
bug minor resolved
#127: when sorting a table in Hermes, the sorting is done lexically and not by (integer) value
Hermes
enhancement major resolved
#123: move all "JDK" based (unit) tests to Integration tests (to make it possible to use shippable/bitbucket pipelines)
bug blocker resolved
#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
#122: sbt console doesn't work reliable anymore for most snippets
<OPAL Build Process>
bug blocker on hold
#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