Flow graphs

The LANCE C++ library comprises functions for control and data flow analysis. They allow for visualization of control and data flow graphs, e.g. for debugging purposes. LANCE emits flow graphs per C function in a textual format that can be visualized e.g. with the VCG graph display tool.