Statistics for Graph-theoretic Properties of Control Flow Graphs and Applications