On Tue, Jan 25, 2011 at 04:55:02PM -0600, Piramanayagam Arumuga Nainar wrote: > This is a patch that adds a new flag considerVariableAddrOfAsDef to > the Use-Def Analysis.
Gabriel wrote: > but could you please first give an example of why this could > be useful? 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. I find them useful when trying to understand a C program, but they work differently from Piramanayagam Arumuga Nainar's. Pascal
<<attachment: defs_aliasing.png>>
------------------------------------------------------------------------------ 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
