A tool that analyzes the byte-code of Java .class files and generates control-flow graphs in Graphviz (dot) format from it.