In der Softwareentwicklung werden Komponenten, die haufig wiederverwendet werden, in Bibliotheken ausgelagert. Statische Programmanalyse beschaftigt sich mit der Methodik Programme automatisch und ohne ihre Ausfuhrung zu analysieren. Software-Reengineering benutzt statische Programmanalyse, um Wissen aus dem Quellcode zu gewinnen. Leider gehen viele Analysen davon aus, dass das zu analysierende Programm samt den benutzten Bibliotheken vorliegt. Diese Annahme ist oft falsch. Benutzerprogramme konnen nicht mit Bibliotheken analysiert werden, da die Skalierbarkeit die Analyse in der Regel nicht zulasst oder Bibliotheken nur ohne Quellcode existieren. Diese Arbeit betrachtet modulare Ansatze und gliedert sich in drei Teilen. Theoretisch werden existierende Ansatze evaluiert sowie nach weiteren Ansatzen gesucht. Die Fragment-Analyse von Rountev wurde umgesetzt und verbessert. Sie wurde auch erweitert fur die Objektorientierung. Die Rollenpropagierung von Staiger wurde benutzt, um die Aufrufgraphkonstruktion mit Bibliotheken zu verbessern. Anschliessend wurden die Resultate der Fragment-Analyse und der Rollenpropagierung evaluiert.

Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.