Konsolidierung von SootUp als ein führendes Rahmenwerk für statische Programmanalyse
Überblick
SootUp ist der modernisierte Nachfolger des Soot-Frameworks für statische Programmanalyse. Im Rahmen dieses DFG-Projekts wird SootUp um zentrale Funktionen erweitert: Bytecode-Generierung für die Java Virtual Machine und Android Apps, präzise kontextsensitive Call-Graph-Algorithmen und Pointer-Analyse. Es sind Werkzeuge zur Migration von Projekten, die noch auf Soot basieren, geplant und auch die Integration der Analysefunktionen in KI-Chatbots wird erprobt.
Key Facts
- Grant Number:
- Profilbereich:
- Intelligente Technische Systeme
- Art des Projektes:
- Forschung
- Laufzeit:
- 05/2026 - 05/2029
- Gefördert durch:
- Deutsche Forschungsgemeinschaft (DFG)
Detailinformationen
Gefördert durch:
