code-analysis - 数据流分析、控制流分析、切片分析和污染分析之间有什么关系吗？

Question

我的想法如下。

数据流分析技术用于分析程序中数据的流动（即变量的值），即分析程序中数据传输或数据跟踪的路径。根据任务的目的，可以分为可达定义分析任务、活动变量分析任务等。控制流分析技术常用于数据流分析，负责构建CG、CFG，以及两者的结合IPCFG。在构建上述三个图或进行控制流分析时，需要指针分析技术来实现流/路径/上下文（无）敏感分析。除了数据流分析技术，常见的软件分析技术还有切片分析和污点分析。

任何建议表示赞赏。