数据流分析（DataFlow Analysis）

数据流分析是一种重要的代码分析思路，它不是一种具体的分析手段，而是一类分析方法。通过数据流分析，可以分析程序中的数据流，找出程序中的数据流特性，比如变量的定义和使用关系、变量的活跃性、变量的赋值关系等。它可以用于很多不同的分析任务，比如指针分析、内存泄漏检测、内存访问越界检测等。