Projekte der Fachgruppe Secure Software Engineering
Konsolidierung von SootUp als ein führendes Rahmenwerk für statische Programmanalyse
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, ...
Laufzeit: 05/2026 - 05/2029
Secure, Resilient and Intelligent Unmanned aircraft Systems
Ziel des Projekts ist die Entwicklung von Methoden und Werkzeugen für „Secure, Resilient and Intelligent Unmanned aircraft Systems“. In der Zukunftsmeile in Paderborn sind alle Kompetenzen gebündelt, die dazu erforderlich sind: Produktentstehung, Regelungstechnik, Softwareentwicklung, Systemsicherheit, Verhaltensforschung und Technikethik des Heinz ...
Laufzeit: 01/2026 - 06/2030
Self-Optimizing Static Program Analysis
Softwaresysteme durchdringen unser privates und berufliches Leben, doch ihre Unsicherheit bedroht unsere Gesellschaft. Um zu gewährleisten, dass Softwaresysteme zuverlässig und sicher sind, muss man sich Gedanken über ihren Code machen. Die statische Programmanalyse ermöglicht solche Überlegungen. Sie kann auf einzelne Softwarekomponenten ...
Laufzeit: 11/2024 - 10/2029
SFB 901; TP T5: Zuverlässige und automatisierte codebasierte Analyse von Open-Source-Abhängigkeiten (Reaktor)
Zusammenfassung des Teilprojekts T5Dieses Transferprojekt baut auf Forschungen des Sonderforschungsbereichs 901 "On-The-Fly Computing" auf. In diesem Transferprojekt erforschen wir, wie Techniken aus der Qualitätssicherung von Diensten in On-The-Fly-Dienstleitungsmärkten auf das drängende Problem der sicheren Verwaltung von ...
Laufzeit: 10/2024 - 09/2026