On Wed, Sep 09, 2009 at 10:38:14AM -0400, Stephen Magill wrote:
> I haven't tried this, but I suspect a pointer analysis could help you obtain
> a more general solution. Take a look at ptranal.ml in the cil src/ext/pta
> directory.
The default pointer analysis module is
Olf, because "ptranal.ml" says
module A = Olf
You might want to try Golf, too, which should be
as easy as replacing the above line with
module A = Golf
We have achieved significantly better results
with Golf. In particular we get much smaller
alias sets.
HTH,
Chris
------------------------------------------------------------------------------
Let Crystal Reports handle the reporting - Free Crystal Reports 2008 30-Day
trial. Simplify your report design, integration and deployment - and focus on
what you do best, core application coding. Discover what's new with
Crystal Reports now. http://p.sf.net/sfu/bobj-july
_______________________________________________
CIL-users mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/cil-users
