下列选项中，不属于软件静态安全检测技术的是

下列选项中，不属于软件静态安全检测技术的是

A.

符号执行

B.

数据流分析

C.

模糊测试

D.

定理证明

正确答案是C