[cfe-dev] basic block traversal for conditions and loops

Rajendra rks at cse.iitb.ac.in
Sun Feb 3 22:55:32 PST 2013


I am working for static analysis of C programs and I have CFG generated 
from Clang.

I want to know how to traverse basic blocks for if-else and while loop 
- a common method that will work for both given a CFG.

Is there any piece of Clang code I can make use of? or any pointers?

Thank you.

- Rajendra

More information about the cfe-dev mailing list