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

Issues

Filter by:

Advanced search

Issues (1–25 of 45)

Title T P Status Votes Assignee Version Created Updated Actions
#90: add distinction between classes and types
Bytecode Disassembler
enhancement blocker resolved
#167: Basic Call Graph "Starter"
Abstract Interpretation Framework
enhancement major resolved
#165: Suggestion: Move parts using JavaFX into separate deployment units
Hermes
enhancement major closed
#177: FPCFAnalysesRegistry has no support for triggered schedulers yet
Static Analysis Framework
enhancement major new
#174: FPCFAnalysesIntegrationTest.config is not maintainable
Abstract Interpretation Framework
enhancement major new
#170: Incompatible return types
Bytecode Representation
enhancement major resolved
#119: have a file external to build.sbt that makes per-machine build setting adaptations possible
<OPAL Build Process>
enhancement major resolved
#126: Compiling the fixtures plugin raises 13 feature warnings
<OPAL Build Process>
enhancement major resolved
#127: when sorting a table in Hermes, the sorting is done lexically and not by (integer) value
Hermes
enhancement major resolved
#118: Externalize ALL dependencies into project/Dependencies.scala
<OPAL Build Process>
enhancement major resolved
#81: Add support for \r in OPALLogger
enhancement major resolved
#75: add annotation to disable the generation of known warnings
BugPicker
enhancement major new
#15: [Java 8] Support extension methods
Bytecode Representation
enhancement major resolved
#19: [Java 8] Develop tests that explicitly take the method resolution for Java 8 into consideration!
Abstract Interpretation Framework
enhancement major resolved
#116: calling sbt in OPAL/bp and also OPAL/TOOLS/bp results in a deprecation warning
<OPAL Build Process>
enhancement major resolved
#36: Natively provide information on field accesses
Bytecode Representation
enhancement major resolved
#2: support comparison of long values
Abstract Interpretation Framework
enhancement major resolved
#44: Provide convenience method to get all inner class files
Bytecode Representation
enhancement major resolved
#18: [Java 8] Support the new attributes for type annotations
Bytecode Representation
enhancement major resolved
#17: [Java 8] Support the new MethodParametersAttribute
Bytecode Representation
enhancement major resolved
#16: [Java 8] Make it possible to read in Java 8 class files
Bytecode Representation
enhancement major resolved
#14: Post-Analysis Method
Abstract Interpretation Framework
enhancement major resolved
#4: Generalization resolved.Type: add toJavaType
Bytecode Representation
enhancement major resolved
#171: Support Java 11s new attributes and validate that the invoke instructions still work as expected
enhancement minor new
#125: Improvement of the PerformInvocations domain
Abstract Interpretation Framework
enhancement minor resolved
  2. 1
  3. 2