A tool for compiling and rendering an inter-predicate call graph as a PDF using Graphviz.
Manager: Samer Abdallah