Zusammenfassung
Das wesentliche Hindernis für den praktischen Einsatz interprozeduraler, kontextsensitiver Programmanalysen besteht im immens hohen Speicherverbrauch bei der Darstellung der Analyseinformation. In diesem Kapitel entwickeln wir eine Programmanalyse auf expliziten Abhängigkeitsgraphen, die Abschätzungen über Ergebnisse von Ausdrücken und über Inhalte von Variablen berechnet. Besondere Eigenschaften sind hierbei die schnelle Konvergenz und die speichereffiziente Darstellung der Analysewerte. Dies gilt insbesondere für kontextsensitive Werte, für die hier eine neuartige, symbolische Darstellung eingeführt wird.
Chapter PDF
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Trapp, M. (2001). Programmanalyse über expliziten Abhängigkeitsgraphen. In: Optimierung objektorientierter Programme. Xpert.press. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-59502-8_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-59502-8_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-63999-9
Online ISBN: 978-3-642-59502-8
eBook Packages: Springer Book Archive