控制流:数据流进行分析的基础。

数据流分析:

通常用于程序没有运行时静态分 析源代码,以预测程序动态运行时的过程.数据流 分析并不是 真 正 的 运 行 程 序,而是在运行之前进 行静态地分析,预测程序真正执行时的相关信息. 数据流分析的基础是程序控制流图,它 将 程 序 所 有可能的执 行 路 径 记 录 下 来,程序实际运行时执 行的路径会根据赋值变化.

[1]陈畅,刘福来.基于智能电网内部数据流分析的内存泄露检测方法研究[J].信息安全研究,2022,8(01):85-92.