Hi, I want to generate a control flow graph from a C program.Is there any way/option in gcc by which I can accomplish the above mentioned task?The control flow graph I want to feed to a verification tool.I will be very thankful to if my question is answered by anyone of you guyz.Ideally I need to generate an AST and Control Flow Graph from a C program. -Nishant.