Consolidation of SootUp as a leading framework for static program analysis
Overview
SootUp is the modernized successor to the Soot framework for static program analysis. As part of this DFG project, SootUp is being expanded to include key features: bytecode generation for the Java Virtual Machine and Android apps, precise context-sensitive call-graph algorithms, and pointer analysis. Tools for migrating projects still based on Soot are planned, and the integration of the analysis features into AI chatbots is also being tested.
Key Facts
- Grant Number:
- Research profile area:
- Intelligente Technische Systeme
- Project type:
- Forschung
- Project duration:
- 05/2026 - 05/2029
- Funded by:
- Deutsche Forschungsgemeinschaft (DFG)
More Information
Funded by:
