Statische Analyse von Programmen mit Bibliotheken : Eine Untersuchung des aktuellen Forschungsstands mit der Umsetzung und Evaluierung der Fragment-Analyse

ISBN-13: 9783639140293 / Niemiecki / Miękka / 2009 / 104 str.

Minh Cuong Tran

Opis

In der Softwareentwicklung werden Komponenten, diehäufig wiederverwendet werden, in Bibliothekenausgelagert. Statische Programmanalyse beschäftigtsich mit der Methodik Programme automatisch und ohneihre Ausführung zu analysieren.Software-Reengineering benutzt statischeProgrammanalyse, um Wissen aus dem Quellcode zugewinnen. Leider gehen viele Analysen davon aus, dassdas zu analysierende Programm samt den benutztenBibliotheken vorliegt. Diese Annahme ist oft falsch.Benutzerprogramme können nicht mit Bibliothekenanalysiert werden, da die Skalierbarkeit die Analysein der Regel nicht zulässt oder Bibliotheken nur ohneQuellcode existieren.Diese Arbeit betrachtet modulare Ansätze und gliedertsich in drei Teilen. Theoretisch werden existierendeAnsätze evaluiert sowie nach weiteren Ansätzengesucht. Die Fragment-Analyse von Rountev wurdeumgesetzt und verbessert. Sie wurde auch erweitertfür die Objektorientierung. Die Rollenpropagierungvon Staiger wurde benutzt, um dieAufrufgraphkonstruktion mit Bibliotheken zuverbessern. Anschließend wurden die Resultate derFragment-Analyse und der Rollenpropagierung evaluiert.

O autorze

Diplom-Informatik. Studium der Informatik an der Universität
Stuttgart. Schachspieler und Hardware Verification Engineer, IBM
Deutschland.