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
off
Hi,
is there any documentation or paper somewhere that describes in more details
the points-to analysis module of CIL ?
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.
Thanks,
Olivier
