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
[email protected]
https://lists.sourceforge.net/lists/listinfo/cil-users
