Visualization and analysis of a given program's dataflow