静态污点分析是指在给定源码前提下，通过分析程序的数据依赖来检测数据能否从污点源传播到污点汇聚点。