I'm trying to build a complexity analysis tool and I need an algorithm for constructing the control flow graph (to get cyclomatic and eventually essential complexity). I couldn't find any pseudocode online so I just got down to writing it. Using recursion seems to have been a bad way to go; my code handles most simple cases but with deeper nesting of control structures errors arise. Is there somewhere I can find pseudocode for constructing the CFG? (For the curious I'm doing this for VHDL.)
Pseudocode for constructing control flow graph
programming languages;software testing;logic programming;static analysis