# 资料卡：CodeQL Data Flow Analysis

- 来源链接：https://codeql.github.com/docs/writing-codeql-queries/about-data-flow-analysis/
- 来源类型：官方文档
- 可信度：高
- 适用章节：part2/ir-ssa-cfg-dfg, part3/static-analysis, part5/ai-code-review-evidence
- 对应问题：数据流/污点分析如何表达源到汇的传播？
- 关键结论：DFG/数据流是安全与依赖推理的重要证据类型
- 局限性：静态数据流存在保守近似与框架建模成本