%0 Conference Proceedings
%F sas04
%A Jeannet, B
%A Loginov, A.
%A Reps, T.
%A Sagiv, M.
%T A relational approach to interprocedural shape analysis
%B Static Analysis Symposium, SAS'04
%V 3148
%S LNCS
%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 harness some previously known approaches to interprocedural dataflow analysis - which in past work have been applied only to much less rich settings - for interprocedural shape analysis
%U http://pop-art.inrialpes.fr/people/bjeannet/publications/sas04.ps
%8 August
%D 2004