Diplomarbeit DIP-2737

Bibliograph.
Daten
Leske, Thomas: Kombinierte statische Analysen.
Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik, Diplomarbeit Nr. 2737 (2008).
42 Seiten, deutsch.
CR-Klassif.D.2.7 (Software Engineering Distribution, Maintenance, and Enhancement)
D.3.4 (Programming Languages Processors)
E.2 (Data Storage Representations)
F.3.2 (Semantics of Programming Languages)
Kurzfassung

Herkömmlich kombiniert man die Zeigeranalyse mit der Analyse gültiger Definitionen, indem man beide entweder in Phasen nacheinander ausführt oder beide von vornherein zusammen als eine Superanalyse erstellt -- in diesem Fall eine fluss-sensitive Zeigeranalyse. Das phasenweise Vorgehen führt zu einer guten Kapselung der Einzelanalysen, aber die Genauigkeit der Ergebnisse kann leiden. Eine optimistisch kombinierte Analyse verbindet die Vorteile beider Ansätze miteinander. Sie führt eine gemeinsame Fixpunktiteration durch, wobei die Einzelanalysen den Wegfall ihrer optimistischen Annahmen untereinander kommunizieren und das eigene Analyseproblem entsprechend anpassen. Um den Speicherbedarf für Zeigerzielmengen klein zu halten, müssen die Einzelanalysen aufeinander abgestimmt werden. Weitere Einsparungen können von einer bedarfsgesteuerten Berechnung und einer Bündelung durch virtuelle Parameter erwartet werden. Letztere repräsentieren Zugriffspfade auf den ursprünglichen Parametern. Die simulierte Ausführung (Lundberg u. Löwe 2007) kann in korrigierter und angepasster Fassung zwar keine direkte Speichereinsparung erzielen aber eine opportunistische Kontextsensitivität. Ein Entwurf der kombinierten Analyse wird vorgestellt.

Volltext und
andere Links
PDF (386847 Bytes)
Zugriff auf studentische Arbeiten aufgrund vorherrschender Datenschutzbestimmungen nur innerhalb der Fakultät möglich
Kontaktleskets@web.de
Abteilung(en)Universität Stuttgart, Institut für Softwaretechnologie, Programmiersprachen und Übersetzerbau
BetreuerStaiger, Stefan
Projekt(e)Bauhaus Abteilung Programmiersprachen und Übersetzerbau
Eingabedatum1. Dezember 2008
   Publ. Informatik