%0 Conference Proceedings
%F jeannet04b
%A Jeannet, B.
%A Loginov, A.
%A Reps, T.
%A Sagiv, M.
%T A Relational Approach to Interprocedural Shape Analysis
%B 11th Static Analysis Symposium - SAS 2004. Volume 3148 of LNCS
%I Springer-Verlag
%C Verona, Italy
%X This paper addresses the verification of properties of imperative programs with recursive procedure calls, heap-allocated storage, and destructive updating of pointer-valued fields-i.e., interprocedural shape analysis. It presents a way to apply some previously known approaches to interprocedural dataflow analysis-which in past work have been applied only to a much less rich setting-so that they can be applied to programs that use heap-allocated storage and perform destructive updating
%U http://www.irisa.fr/vertecs/Publis/Ps/sas04.pdf
%8 August
%D 2004