Datenbestand vom 15. November 2024
Tel: 0175 / 9263392 Mo - Fr, 9 - 12 Uhr
Impressum Fax: 089 / 66060799
aktualisiert am 15. November 2024
978-3-86853-810-6, Reihe Informatik
Michael Petter Interprocedural Polynomial Invariants
139 Seiten, Dissertation Technische Universität München (2010), Hardcover, A5
This thesis describes techniques for static analysis of polynomial equalities in interprocedural programs. It elaborates on approaches for analysing polynomial equalities over different domains as well as techniques to apply polynomial analysis to infer interprocedurally valid equalities of uninterpreted terms.
This work is organised in three major theoretical parts, followed by a part on practical issues of interprocedural program analysis. In the first part forward and backward frameworks for inferring polynomial equalities are presented to deal with procedure calls. It is shown how to make use of polynomial ideals as abstraction of program states. In the second part, values of variables are treated as integers modulo a power of 2 which coincides with the treatment of integers in most current architectures. The third part is dedicated to interprocedurally infer Herbrand equalities. This gives rise to a novel subclass of the general problem which can be analysed precisely.