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

本题考查的是软件静态安全检测技术,要求考生了解这方面的知识点。nnA选项符号执行是一种静态分析技术,它通过对程序的符号执行来推导出程序的执行路径,从而发现程序中的漏洞。nnB选项数据流分析是一种静态分析技术,它通过对程序中数据流的分析来发现程序中的漏洞。nnC选项模糊测试是一种动态测试技术,它通过对程序输入进行随机化和模糊化,来发现程序中的漏洞。nnD选项定理证明是一种静态分析技术,它通过对程序的形式化证明来发现程序中的漏洞。nn综上所述,选项C不属于软件静态安全检测技术,因此是本题的正确答案。