On Jan 26, 2011, at 8:24 AM, Piramanayagam Arumuga Nainar wrote: > I am doing a "definitely-uninitialized" analysis (i.e. no potential > initialization should be missed).
In this case, I fear the Program Dependency Graph that the use-defs I illustrated are a component of will not be so useful to you. This PDG is computed from the results of a static analysis that can already tell if a variable is definitely uninitialized. There are plenty of precision/cost ratios to explore, but if you decide to rely on Frama-C's analysis, then your analysis' cost cannot be lower by definition and your analysis' precision can probably not be better. I hope it will nevertheless be useful to you as a comparison point. Pascal ------------------------------------------------------------------------------ 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
