Re: [CIL users] Subtyping kinds in golf.ml

[Christoph S. <cs...@fr...>]

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