[CIL users] ComputeCFGinfo help

[Tapsie G. <ta...@gm...>]

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