A C and C++ control flow graph generator and analyzer.
A rule-based artificial intelligence for manufacturing source code.
