Responsible:
Synthesis of data flow diagrams from annotated C programs (C2DF) is a command line program for the automated generation of data flow diagrams. It use KAOM for generation and the automatic layout provided by KIML.