\"Uber die Pr\"azision interprozeduraler Analysen
Dorothea Jansen
TL;DR
This paper compares two interprocedural data-flow analysis methods, functional and call-string, showing they yield equivalent solutions under certain conditions, with implications for abstract interpretation and widening techniques.
Contribution
It demonstrates the equivalence of functional and call-string approaches in interprocedural analysis and explores their behavior with abstract interpretation and widening.
Findings
Solutions of both approaches coincide under certain conditions
Equivalence is preserved with abstract interpretation
Differences arise when using widening techniques
Abstract
In this work, we examine two approaches to interprocedural data-flow analysis of Sharir and Pnueli in terms of precision: the functional and the call-string approach. In doing so, not only the theoretical best, but all solutions are regarded which occur when using abstract interpretation or widening additionally. It turns out that the solutions of both approaches coincide. This property is preserved when using abstract interpretation; in the case of widening, a comparison of the results is not always possible.
Click any figure to enlarge with its caption.
Figure 1Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsReligion, Theology, and Education · Medieval and Classical Philosophy · Indian and Buddhist Studies
Diplomarbeit
im Fach Informatik
**Über die Präzision
interprozeduraler Analysen **
Dorothea Jansen
Diplomarbeit
im Fach Informatik
**Über die Präzision
interprozeduraler Analysen **
Dorothea Jansen
Dezember 2010
Betreuer:
Prof. Dr. Markus Müller-Olm
Institut für Informatik
Westfälische Wilhelms-Universität Münster