Yes. I have change module A = Olf to module A = Golf. And thanks very much
for your suggestions!
2011/4/27 Christoph Spiel <csp...@freenet.de>
> On Tue, Apr 26, 2011 at 07:46:16PM -0400, Feng Zhu wrote:
> > I am a new user of CIL and I try to use the pointer-analysis module.
>
> I hope you're aware that you must change the
> module A = Olf
> line in "ptranal.ml" to
> module A = Golf
> and recompile CIL to actually use the
> generalized 1-level flow analysis.
>
>
> > When I read the source code of golf.ml, I found that there are 3 types
> of
> > subtyping kind. But what is the difference? And what is the use of each
> > one? If there is any relevent document, it will help much.
>
> The Kodumal at al. paper should be a good start
> for reading, for it contains all important
> references:
> Alex Aiken, John Kodumal, Jeffrey S. Foster, and Tachio Terauchi
> "Checking and Inferring Local Non-Aliasing"
>
> You'll find a description of the 1-level flow
> analysis in Manuvir Das' et al. paper:
> Manuvir Das, Ben Liblit, Manuel Faehndrich, and Jakob Rehof
> "Estimating the impact of scalable pointer analysis on optimization"
> where `type Golf.polarity' is explained, too.
>
>
> /Chris
>
------------------------------------------------------------------------------
WhatsUp Gold - Download Free Network Management Software
The most intuitive, comprehensive, and cost-effective network
management toolset available today. Delivers lowest initial
acquisition cost and overall TCO of any competing solution.
http://p.sf.net/sfu/whatsupgold-sd
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users
