下列选项中，属于可执行代码静态安全检测技术的是

下列选项中，属于可执行代码静态安全检测技术的是

A.

基于词法分析和数据流分析的安全检测技术

B.

基于符号执行和模型检验的安全检测技术

C.

基于模糊测试和智能模糊测试的安全检测技术

D.

基于程序结构和程序语义的安全检测技术

正确答案是D