I'm working on a project that tries to minimize the number of test
cases required for the coverage of a program by using the
pre/post-dominator technique. For this technique to work, I need to be
able to generate the CFGs (Control-Flow Graph) of C++ classes. These
CFGs are then transformed in pre and post dominator trees. We need
only test the leaves of the trees to assure full (or a certain
percentage of) coverage of the code. What kind of parser or compiler
tool can be used to generate a CFG automatically? Thanks a lot.