To path indicator Subpages of “Newsdetail“ To navigation To quick access To footer with other services
To content
Fakultät für Informatik
Studierende sitzt am Arbeitsplatz und schaut auf den Laptop. © Aliona Kardash​/​TU Dortmund

OPAL Meeting in Dortmund

Please provide a copyright notice
Scientists from TU Darmstadt visit the Secure Software Engineering Group to discuss the future of the OPAL framework. Over two days we discussed joint projects - both scientific and engineering - in relation to OPAL.

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. 

Publications with or about OPAL

TACAI: An Intermediate Representation Based on Abstract Interpretation
Michael Reif, Florian Kübler, Dominik Helm, Ben Hermann, Michael Eichberg, and Mira Mezini
In Proceedings of the 9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP 2020).
Association for Computing Machinery, New York, NY, USA, 2–7.
DOI:https://doi.org/10.1145/3394451.3397204
Artifact: https://github.com/opalj/opal/tree/develop/OPAL/tac

From Needs to Actions to Secure Apps? The Effect of Requirements and Developer Practices on App Security
Charles Weir, Ben Hermann, and Sascha Fahl
29th {USENIX} Security Symposium ({USENIX} Security 20), 289-305  
URL: https://www.usenix.org/conference/usenixsecurity20/presentation/weir
Artifact: https://doi.org/10.17635/lancaster/researchdata/319

CodeMatch: Obfuscation won't Conceal Your Repackaged App
Leonid Glanz, Sven Amann, Michael Eichberg, Michael Reif, Ben Hermann, Johannes Lerch, and Mira Mezini
In Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering (ESEC/FSE 2017)
Association for Computing Machinery, New York, NY, USA, 638–648
DOI:https://doi.org/10.1145/3106237.3106305

Hermes: Assessment and Creation of Effective Test Corpora
Michael Reif, Michael Eichberg, Ben Hermann, and Mira Mezini
In Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis (SOAP 2017).
Association for Computing Machinery, New York, NY, USA, 43–48.
DOI:https://doi.org/10.1145/3088515.3088523

Call Graph Construction for Java Libraries
Michael Reif, Michael Eichberg, Ben Hermann, Johannes Lerch, and Mira Mezini
In Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE 2016).
Association for Computing Machinery, New York, NY, USA, 474–486.
DOI: https://doi.org/10.1145/2950290.2950312

Getting to Know You: Towards a Capability Model for Java
Ben Hermann, Michael Reif, Michael Eichberg, and Mira Mezini
In Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering (ESEC/FSE 2015).
Association for Computing Machinery, New York, NY, USA, 758–769.
DOI: https://doi.org/10.1145/2786805.2786829

Hidden Truths in Dead Software Paths
Michael Eichberg, Ben Hermann, Mira Mezini, and Leonid Glanz
In Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering (ESEC/FSE 2015)
Association for Computing Machinery, New York, NY, USA, 474–484.
DOI: https://doi.org/10.1145/2786805.2786865

A Software Product Line for Static Analyses: The OPAL Framework
Michael Eichberg and Ben Hermann. 2014.
In Proceedings of the 3rd ACM SIGPLAN International Workshop on the State of the Art in Java Program Analysis (SOAP '14).
Association for Computing Machinery, New York, NY, USA, 1–6.
DOI: https://doi.org/10.1145/2614628.2614630

To top of page