In der Welt der Softwareentwicklung sind präzise Analysen unerlässlich, um Programme effizient zu gestalten und weiterzuentwickeln. An diesem Punkt setzt das Team der Universität Paderborn an, das vor drei Jahren das Framework „SootUp“ ins Leben rief, um die Herausforderungen in der Programmanalyse zu meistern. Die Wissenschaftler*innen haben große Ziele: Sie wollen „SootUp“ zum neuen Standard für die Analyse und Transformation von Java- und Android-Anwendungen etablieren. Das Projekt „CoSA“, unter der Leitung von Prof. Dr. Eric Bodden am Heinz Nixdorf Institut, nimmt hierbei eine zentrale Rolle ein, und wird von der Deutschen Forschungsgemeinschaft (DFG) mit rund 1,2 Millionen Euro über drei Jahre gefördert, wie uni-paderborn.de berichtet.
„SootUp“ ist eine überarbeitete Version des bereits etablierten Frameworks „Soot“, das jedoch mit technischen Mängeln und Komplexitätsproblemen zu kämpfen hatte. Die neue modulare Architektur von „SootUp“ verspricht, diese Schwächen durch verbesserte Benutzerfreundlichkeit und Wartbarkeit zu überwinden. Im Vergleich zu „Soot“ bietet es unter anderem eine neue API, die ohne Globals und Singletons auskommt, eine vollständig parallelisierte Architektur und die Unterstützung für die neueste Java-Version, Java 21. Diese Verbesserungen haben dazu geführt, dass die Nutzer*innenzahl von „SootUp“ stetig wächst, auch wenn das Framework noch nicht vollständig etabliert ist, da einige Funktionen, die von längerjährigen „Soot“-Nutzer*innen gefordert werden, noch fehlen. Diese werden jedoch im Rahmen des „CoSA“-Projekts entwickelt, stets mit dem Ziel, „Soot“ schrittweise auslaufen zu lassen.
Zentrale Projektziele und Herausforderungen
Die zentralen Ziele des Projekts umfassen die Generierung von Java- und Android-Bytecode, die Unterstützung bei der Migration von „Soot“ zu „SootUp“ sowie die Bereitstellung von Lernmaterialien und Tutorials. Prof. Bodden hebt hervor, dass es entscheidend ist, „SootUp“ um die dringend benötigten Funktionen zu erweitern, um eine höhere Akzeptanz in der Entwicklergemeinschaft zu erreichen. Kadiray Karakaya, der die Entwicklung von „SootUp“ leitet, verweist zudem auf die Herausforderungen, die mit der Entwicklung eines Nachfolgers für ein beliebtes Framework verbunden sind und betont, dass kontinuierliches Feedback von der Nutzerbasis wichtig ist.
Eines der Hauptanwendungsgebiete von Programmanalysen, und damit auch von „SootUp“, ist die Analyse von Programmen und Software-Systemen, um Entwicklern eine bessere Modifikation und Weiterentwicklung ihrer Anwendungen zu ermöglichen. Hierbei spielen aktuelle Analyseverfahren wie die Referenzziel-Analyse eine wichtige Rolle, um Aufrufbeziehungen in objektorientierten Sprachen wie Java zu bestimmen. Auch die Software-Infrastruktur PAULI, die zur Analyse von Java-Klassendateien entwickelt wurde, adressiert bedeutende Herausforderungen im Java-Umfeld, wie das dynamische Laden von Klassen zur Programmlaufzeit. Dies trägt dazu bei, dass statische Analyse-Ergebnisse zur dynamischen Programmoptimierung genutzt werden können, was wiederum die Qualität und Effizienz der Software steigert, wie die Forschungsgruppe der Universität Paderborn auf ihrer Seite fg-kastens.cs.uni-paderborn.de erläutert.
Ein Blick in die Zukunft
Trotz der bereits erzielten Fortschritte bleibt die Arbeit an „SootUp“ eine spannende und anspruchsvolle Aufgabe. Die Entwicklung des Frameworks wird daher intensiv vorangetrieben, um die bestehenden Lücken zu schließen und den Anwender*innen ein robustes und leistungsfähiges Werkzeug an die Hand zu geben. Die enge Zusammenarbeit mit Partnern wie dem Fraunhofer-Institut für Entwurfstechnik Mechatronik (IEM) und dem Fraunhofer-Institut für Sichere Informationstechnologie (SIT) wird sicherstellen, dass „SootUp“ als zukunftsfähiges und anpassungsfähiges Framework in der Entwicklergemeinschaft akzeptiert wird. Die nächsten Schritte sind entscheidend: „SootUp“ könnte bald eine maßgebliche Rolle in der Programmanalyse von Java- und Android-Anwendungen spielen und damit den Softwareentwicklungsprozess revolutionieren.