Bibliography | Leske, Thomas: Kombinierte statische Analysen. University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Diploma Thesis No. 2737 (2008). 42 pages, german.
|
CR-Schema | 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)
|
Abstract | 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.
|
Full text and other links | PDF (386847 Bytes) Access to students' publications restricted to the faculty due to current privacy regulations |
Contact | leskets@web.de |
Department(s) | University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers
|
Superviser(s) | Staiger, Stefan |
Project(s) | Bauhaus Abteilung Programmiersprachen und Übersetzerbau
|
Entry date | December 1, 2008 |
---|