opalj/opal

Issues

• Support ServiceLoader

  #197 opened 4 months ago by errt
  0

• Use information from module-info files

  #196 opened 4 months ago by errt
  0

• Test badge is misleading

  #195 opened 4 months ago by errt
  0

• Fix sbt assembly settings or use other plugin

  #88 opened 2 years ago by errt
  0

• Move away from Scalariform

  #119 opened 8 months ago by errt
  1

• Hyperlinks in the Hermes document are now missing

  #170 opened 9 months ago by cubicYYY
  1

• Autogenerate ProjectDependencies from build.sbt

  #185 opened 8 months ago by errt
  0

• Fix Class.forName Handling in AI

  #87 opened 10 months ago by TorunR
  5

• Adding type parameters to PropertyComputationResult

  #6 opened 3 years ago by errt
  0

• Prepare OPAL for Java 20

  #115 opened a year ago by errt
  1

• Naive TA Code Computational Type Generation

  #144 opened a year ago by kevzhumba
  2

• Compiling the java test fixture failed

  #147 opened a year ago by mohPYdev
  1

• Immutability analysis is unsound for constructors

  #135 opened a year ago by errt
  0

• Triggered analyses not executed when running multiple computations

  #112 opened a year ago by errt
  0

• Field mutability should identify external initialization

  #8 opened 2 years ago by errt
  1

• Create a framework for alias analysis

  #90 opened 2 years ago by errt
  0

• Move Github Page to this Repo and Automate the creation

  #27 opened 3 years ago by TorunR
  0

• FPCFAnalysesIntegrationTest.config is not maintainable

  #12 opened 3 years ago by errt
  0

• Upgrade to Scala 2.13

  #14 opened 2 years ago by errt
  1

• Allow Java 19

  #83 opened 2 years ago by TorunR
  2

• Support Java 17

  #41 opened 2 years ago by errt
  1

• Incompatible values on apply

  #16 opened 3 years ago by errt
  0

• Switch upper/lower bounds

  #15 opened 3 years ago by errt
  0

• May-alias analysis/domain for Fields and Arrays to improve the escape analysis

  #13 opened 3 years ago by errt
  0

• FPCFAnalysesRegistry has no support for triggered schedulers yet

  #11 opened 3 years ago by errt
  0

• Readme.md for the design decisions for the call graph analyses

  #10 opened 3 years ago by errt
  0

• Implement equals on TACode

  #9 opened 3 years ago by errt
  0

• Improving the purity analysis

  #7 opened 3 years ago by errt
  0