Hi
I checked out the example code and saw how computeCFGInfo was used. However,
I have a doubt. Since computeCFGInfo works on a function, is it possible to
do inter-function analysis using this? (To be specific, I want to be able to
detect if a pointer freed in function A is freed again in function B, if A
and B are called in the same control flow.-- detect double free)
There is also a computeFileCFG which computes the CFG for a file. I am
facing difficulties deciding which option is the right one. I would really
appreciate some guidance.
Thanks for the help,
--
Regards
Tapsie Giridher
------------------------------------------------------------------------------
Register Now & Save for Velocity, the Web Performance & Operations
Conference from O'Reilly Media. Velocity features a full day of
expert-led, hands-on workshops and two days of sessions from industry
leaders in dedicated Performance & Operations tracks. Use code vel09scf
and Save an extra 15% before 5/3. http://p.sf.net/sfu/velocityconf
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users
