通过分析代码中输入数据对程序执行路径的影响，以发现不可信的输入数据导致的程序执行异常,被称为

通过分析代码中输入数据对程序执行路径的影响，以发现不可信的输入数据导致的程序执行异常,被称为

A.

符号执行

B.

数据流分析

C.

模型检验

D.

污点传播分析技术

正确答案是D