On 1/26/2011 12:38 AM, CUOQ Pascal wrote: > While we are on the subject, perhaps I can point out that > Frama-C (which is written in OCaml and uses a modified version > of CIL) offers use-defs that work for C programs with aliasing. > In the attached screenshot, the "defs" of *PTR1 are highlighted > in yellow. > Looks like this tool can improve the precision of my analysis. I'll check it out.
Thanks! -Arumuga ------------------------------------------------------------------------------ Special Offer-- Download ArcSight Logger for FREE (a $49 USD value)! Finally, a world-class log management solution at an even better price-free! Download using promo code Free_Logger_4_Dev2Dev. Offer expires February 28th, so secure your free ArcSight Logger TODAY! http://p.sf.net/sfu/arcsight-sfd2d _______________________________________________ CIL-users mailing list CIL-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/cil-users
