程序依赖图 (PDG)

程序依赖图（Program Dependence Graph, PDG）是计算机科学中用于精确描述程序内部逻辑关系的图模型，它超越了传统流程图的线性视角，通过有向边显式连接变量定义与使用点，并区分控制依赖（Control Dependence）与数据依赖（Data Dependence）。作为源代码图模型的核心，PDG 能够捕捉循环体内的复杂依赖路径，为静态分析提供严谨的数学基础。在现代软件工程与大模型代码理解领域，PDG 不仅是实现精准代码切片、识别语义相似代码克隆的基石，更是构建程序语义表示、辅助大模型理解复杂逻辑结构的重要中间表示形式。

在现代计算架构与软件工程实践中，程序依赖图扮演着连接源代码文本与高层语义理解的桥梁角色。其核心价值在于将非结构化的代码文本转化为结构化的图数据，使得编译器优化、安全审计、代码重构以及大模型的代码检索与推理成为可能。特别是在大模型时代，PDG 被广泛用于构建代码的‘知识图谱’，帮助模型理解函数间的调用关系与数据流转，从而提升代码生成的准确性与可解释性。尽管存在构建成本高、对动态行为建模能力有限等局限，但其作为静态分析的‘黄金标准’，在提升代码质量与安全性方面具有不可替代的地位。