ERC-Grant: 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. 360直播吧 kann auf einzelne Softwarekomponenten angewendet werden und nicht nur das Vorhandensein, sondern auch das Nichtvorhandensein von Fehlern und Schwachstellen nachweisen. Um für Softwareentwickler nützlich zu sein, müssen statische Analysen jedoch an den Kontext angepasst werden, in dem sie eingesetzt werden. Studien zeigen, dass schlecht angepasste Analysen die Entwicklung eher verlangsamen als unterstützen. 360直播吧 melden gro?e Mengen falscher Warnungen, die die Entwickler von den tats?chlichen Fehlern ablenken, die die Analysen oft übersehen. 360直播吧 laufen oft so lange, dass Ergebnisse gemeldet werden, wenn sie bereits veraltet sind.

Die wichtigste Forschungshypothese von SOSA ist, dass man pr?zise und effiziente statische Analysen von Softwaresystemen erstellen kann, indem man die statische Analyse selbstbewusst und selbstoptimierend macht. Mit SOSA führt eine statische Analyse Analysen und Optimierungen nicht nur von Programmen, sondern von sich selbst durch. Dies ist ein bahnbrechender Paradigmenwechsel: Keine bisherige Forschung hat komplexe Programmanalysen selbst als prim?res Objekt der automatisierten Analyse und Optimierung betrachtet.

SOSA wird zum ersten Mal statische Analysen einführen, deren Ausführung nicht von ihren Sch?pfern vordefiniert werden, sondern von vornherein selbstadaptiv sind. Im Ergebnis passen sich die Analysen automatisch an, um einen optimalen Kompromiss zwischen Leistung und Genauigkeit zu erzielen, je nachdem, wie die Analyse eingesetzt wird und welches Programm sie analysiert. Mit SOSA werden statische Analysen echte und relevante Warnungen bei minimaler Analysezeit melden, ohne dass manuelle Optimierungen durch den Endbenutzer erforderlich sind.

SOSA wird die Forschung auf dem Gebiet der Programmanalyse vorantreiben, indem es die Landschaft der Optimierungen statischer Analysen abbildet und zeigt, wie und wo sie am besten eingesetzt werden. Indem es Softwareentwicklern erm?glicht, statische Analysen optimal und einfach einzusetzen, wird SOSA zur Sicherheit von Millionen von Softwaresystemen beitragen.

F?rderer: Europ?ischen Forschungsrat (ERC, European Research Council)