静态分析是一种检查代码的方法，无需执行程序。它提供了一种机制，可以审查代码结构、控制流和数据流，检测潜在的可移植性和可维护性问题，计算适当的软件质量测度。
其中控制流分析包括：扇入、扇出、圈复杂度。
常见的控制流图：
圈复杂度：
常用的一种代码复杂度的衡量标准。它是对源代码中线性独立路径数的定量测量，用来衡量一个模块判定结构的复杂程度。
圈复杂度与分支语句、循环语句的个数，以及判定复合条件的逻辑组合符成正相关。
圈复杂度计算公式：
其中：V(G)表示圈复杂度；
e表示控制流图中边的数量；n表示控制流图中节点数量（
包括起点和终点，所有终点只计算一次
）；
P表示控制流图中的
判定节点
数（
每个判定条件对应一个判定节点，另：判定条件和判定语句不是一个概念，一条判定语句中可能存在多个判定条件，如if((a<7)|(b>5))
）；
A表示控制流图中的封闭区域数。
圈复杂度大，说明程序代码的逻辑判断复杂，可能代码质量低且难以测试和维护。
例子：
一段C语言代码绘制控制流图如下图
可知e=9,n=8,P=2,A=2，因此圈复杂度为3
扇入、扇出：
扇入、扇出表示函数之间的调用关系。
扇入指直接调用该模块的上级模块的个数；扇出指该模块直接调用的下级模块的个数。
扇入大表示模块的复用程度高；扇出大表示模块的复杂度高。