OPAL-Forschungstreffen in Darmstadt
In regelmäßigen Abständen treffen wir uns mit Forschern der Software Technology Group der Technischen Universität Darmstadt. Da unsere beiden Gruppen an der Entwicklung des OPAL-Frameworks beteiligt sind, treffen wir uns etwa alle sechs Monate persönlich, um uns über die Arbeit der anderen Gruppe zu informieren.
OPAL ist ein hochkonfigurierbares statisches Programmanalyse-Framework für JVM-Sprachen. Es unterstützt Java 19 Bytecode und ist vollständig in Scala geschrieben. Client-Analysen können somit auch in jeder JVM-kompatiblen Sprache geschrieben werden.
Wir hatten zwei großartige Tage in Darmstadt, an denen wir unsere aktuellen und zukünftigen Forschungsideen sowie die laufenden Arbeiten zur Verbesserung des OPAL-Frameworks diskutiert haben. Es wurden einige großartige Ideen für eine Version 6 von OPAL entworfen, aber wir haben jedoch noch kein Veröffentlichungsdatum besprochen. Außerdem hatten die Darmstädter Wissenschaftler und wir eine Menge Spaß bei der Erkundung der Stadt bei perfektem Wetter.
Bitte bestätigen Sie die Aktivierung dieses Videos.
Nach der Aktivierung werden Cookies gesetzt und Daten an YouTube (Google) übermittelt.
Zur Datenschutzerklärung von Google
Unsere jüngsten Veröffentlichungen unter Verwendung von OPAL
Persisting and Reusing Results of Static Program Analyses on a Large Scale
Johannes Düsing, Ben Hermann
In Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering (ASE 2023).
DOI: https://doi.org/10.1109/ASE56229.2023.00080
Artifact: https://doi.org/10.5281/zenodo.8238151