Diploma Thesis DIP-2656

BibliographyTeuber, Arthur: Verbesserung statischer Analysen in praxisrelevanten Faellen.
University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Diploma Thesis No. 2656 (2008).
107 pages, german.
CR-SchemaF.3.2 (Semantics of Programming Languages)
KeywordsISSA; Dominanz; Zeiger; Andersen; SSA; Static Single Assignment; Pointer; dominance; static analysis; reducible; type-cast; reference parameter; Referenzparameter; Typsystem; Aufrufkontext; caller context
Abstract

In Bauhaus sind bereits eine Reihe von statischen Analysen zum Zwecke des Software Reengineerings implementiert. Diese Analysen müssen natürlich für alle möglichen Fälle korrekt sein. In der Praxis hat sich jedoch gezeigt, dass viele Programme bzw. Unterprogramme Eigenschaften besitzen, die man für genauere oder schnellere Analysen ausnutzen kann.

Diese Diplomarbeit beschäftigt sich mit der Ausnutzung dieser Eigenschaften und zeigt Verbesserungen für die Dominanz-, Zeiger-, und ISSA-Analyse von Bauhaus. Die positiven Programmeigenschaften, die dabei ausgenutzt werden, sind die Wohlstrukturiertheit des Flussgraphen, die Einhaltung des deklarierten Typsystems und das Vorhandensein von Referenzparametern.

Full text and
other links
PDF (994936 Bytes)
Access to students' publications restricted to the faculty due to current privacy regulations
CopyrightArthur Teuber
ContactE-mail Adresse des Autors: arthur.teuber@gmail.com
Department(s)University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers
Project(s)Projekt Bauhaus
Entry dateFebruary 19, 2008
   Publ. Computer Science