Hello Olivier -
On Fri, Jul 16, 2010 at 05:50:17PM +0200, Olivier Crameri wrote:
> is there any documentation or paper somewhere that describes in more details
> the points-to analysis module of CIL ?
I'm afraid there is none; at least none
I'm aware of. However, you can refer to the
offical literature on which the modules are
based, e.g. the papers of Manuvir Das and Bjarne
Steensgaard.
> In particular, I'm interested in the differences between Olf and Golf with
> respect to performance, and the possible ways to tune the analysis to make
> it faster.
Though performance isn't everything and
analysis precision can play an important role in
particular in the field of points-to-analysis.
I remember a problem where Olf came up with
Cil.varinfo lists up to 1800 elements long,
whereas the lists Golf produced for the same
program had a maximum size of 5. YMMV.
/Chris
------------------------------------------------------------------------------
This SF.net email is sponsored by Sprint
What will you do first with EVO, the first 4G phone?
Visit sprint.com/first -- http://p.sf.net/sfu/sprint-com-first
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users
