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,


Tapsie Giridher