Diplomarbeit DIP-2656

Bibliograph.
Daten
Teuber, Arthur: Verbesserung statischer Analysen in praxisrelevanten Faellen.
Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik, Diplomarbeit Nr. 2656 (2008).
107 Seiten, deutsch.
CR-Klassif.F.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
Kurzfassung

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.

Volltext und
andere Links
PDF (994936 Bytes)
Zugriff auf studentische Arbeiten aufgrund vorherrschender Datenschutzbestimmungen nur innerhalb der Fakultät möglich
CopyrightArthur Teuber
KontaktE-mail Adresse des Autors: arthur.teuber@gmail.com
Abteilung(en)Universität Stuttgart, Institut für Softwaretechnologie, Programmiersprachen und Übersetzerbau
Projekt(e)Projekt Bauhaus
Eingabedatum19. Februar 2008
   Publ. Informatik