通过分析代码中输入数据对程序执行路径的影响,以发现不可信的输入数据导致的程序执行异常,被称为
A.符号执行 B.数据流分析 C.模型检验 D.污点传播分析技术
符号执行
数据流分析
模型检验
污点传播分析技术
◎欢迎参与讨论,请在这里发表您的看法、交流您的观点。