Re: Help with alias analysis framework

Roberto Bagnara <bagnara@cs.unipr.it>
15 Aug 2004 22:17:29 -0400

          From comp.compilers
Related articles
Help with alias analysis framework berpast@hotmail.com (2004-08-13)
Re: Help with alias analysis framework bagnara@cs.unipr.it (Roberto Bagnara) (2004-08-15)
| List of all articles for this month |
From: Roberto Bagnara <bagnara@cs.unipr.it>
Newsgroups: comp.compilers
Date: 15 Aug 2004 22:17:29 -0400
Organization: [Infostrada]
References: 04-08-077
Keywords: analysis
Posted-Date: 15 Aug 2004 22:17:29 EDT

BerPast wrote:
> In the paper "Interprocedural may-alias analysis for pointers: beyond
> k-limiting", the author presents a parametric framework for the
> analysis of pointer aliases.
> The framework is parametrised by a numeric lattice V#.
> [...]
>
> I need to implement the lattice operators [...] but how can this problem
> be solved for a generic lattice?


I am not sure I understand what you mean by "[solving] this problem [...]
for a generic lattice." All the numerical abstractions provided by the
Parma Polyhedra Library (http://www.cs.unipr.it/ppl/) come with the
operations that a numeric lattice must possess in Alain Deutsch's framework.
All the best,


          Roberto Bagnara


--
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara@cs.unipr.it

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.