Hello, 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