A Relational Abstraction for Functions

B. Jeannet, D. Gopan, and T. Reps

This paper concerns the abstraction of sets of functions for use in abstract interpretation. The paper gives an overview of existing methods, which are illustrated with applications to shape analysis, and formalizes a new family of relational abstract domains that allows sets of functions to be abstracted more precisely than with known approaches, while being still machine-representable.

(Click here to access the paper: PostScript, PDF; (c) Springer-Verlag.)