Dominik Helm, Dr. Sven Keidel, and Tobias Roth from the Software Technology Group at Technische Universität Darmtadt visited our group over two days. We discussed the future of the OPAL framework and our joint activities in that area. And of course we celebrated the recent release of OPAL 5.
OPAL is a highly-configurable static program analysis framework for JVM languages. It supports Java 19 Bytecode and is written entirely in Scala. Client analyses can thus be also written in any JVM-compatible language.
We were happy to host the second meeting in Dortmund and look forward to our next meeting in Darmstadt in the fall.