控制流图圈复杂度确定 V(G) =流图中区域个数 (由结点和边围起来的区域—图中外部区域也是一个区域) V(G) = 边的个数- 结点个数 + 2 V(G) =流图中(简单)判定结点个数+ 1 圈复杂度（Cyclomatic complexity）（环形复杂性）： 是一种为程序逻辑复杂性提供定定量测度的软件度量。 当该度量用于基本路径测试方法，计算所得的值给出了程序基本集的独立路径数量，这是为确保所有语句至少执行一次而必须进行测试数量的上界。 可用以下3种方法之一来计算复杂性： 2. Determine the cyclomatic complexity of the resultant flow graph Note: can be determined without developing a flow graph count all conditional statements in a component  compound conditions count as 2 (number of Boolean operators + 2)

程序流程图和对应的控制流图

字节码到 cfg 描述 使用 ASM 从 Java 字节码生成控制流图 作者 佩纳安东尼 布朗丁·尼古拉斯 巴登·杰里米 要求 已安装 开发商 您必须位于项目文件夹（pom.xml 文件所在的位置）才能使用以下命令进行编译： mvn compile 然后运行项目： mvn exec:java 链接 用法 程序分析的方法在AnalysedClass中，其名称必须在visitMethod（ClassAnalyser类）中设置

IDA_Plugin 该脚本可以通过两种方式运行： 1-用二进制文件打开IDA，然后按“ ALT + F7”，然后选择脚本并单击“提交”，IDA还会要求输入文本文件，您可以选择一个空文本文件，但输出将不会写入那里。 2-使用IDA命令行，如下所示：idaq -A -S [scriptPath] [binaryPath] （有关IDA命令行开关的更多信息，请访问： : ） 该脚本将生成3个文件： BinayFileName.text.asm->普通的asm文件 BinaryFileName.text.info->脚本输出文件 BinaryFileName.text.asmplus->汇编代码文件+用于地址映射的段信息 第一个文件是IDA Pro生成的普通程序集文件。 第二个文件是脚本输出文件。 最后一个是具有用于地址映射的汇编指令段信息的汇编代码文件。 对于每个文件，此

控制流图,环形复杂度,矩阵,独立的路径集合

控制流图 计算圈图复杂度 导出独立路径 设计测试用例 执行测试用例

在java工程中利用soot-jar包，生成java程序的dot文件，再利用graphviz画出java程序的控制流图。

Python开发的生成Python代码控制流图的小工具。 原理：将源代码解析为AST，遍历AST生成结构化字符串，最后解析结构化字符串得到控制流图。 使用：python CFG.py src [-o dir] 工具扫描src文件所有函数并在dir目录下生成控制流图，缺省为当前工作目录。