Flow-Augmented Call Graph (FACG) augments the conventional call graph with control flow analysis. The significance of different caller-callee linkages can be distinguished in FACG. FACG is particularly helpful in understanding large scale software systems. This paper provides in-depth description about FACG.
FACG implementation will be integrated in our static analysis framework in the future. We currently provide the complete experiment data in our paper. [Download]
If you have further questions or suggestions regarding FACG, please feel free to contact one of the authors.