Precise Interprocedural Analysis through Linear Algebra (2003) [33 citations — 5 self]
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
author = {Markus Müller-Olm and Helmut Seidl and Fernuniversit At Hagen and Lg Praktische Informatik},
title = {Precise Interprocedural Analysis through Linear Algebra},
year = {2003}
}
Bookmarks
OpenURL
Abstract:
We apply linear algebra techniques to precise interprocedural dataflow analysis. Specifically, we describe analyses that determine for each program point identities that are valid among the program variables whenever control reaches that program point. Our analyses fully interpret assignment statements with affine expressions on the right hand side while considering other assignments as non-deterministic and ignoring conditions at branches. Under this abstraction, the analysis computes the set of all affine relations and, more generally, all polynomial relations of bounded degree precisely. The running time of our algorithms is linear in the program size and polynomial in the number of occurring variables. We also show how to deal with affine preconditions and local variables and indicate how to handle parameters and return values of procedures.
