以下不属于代码静态分析的方法是（）。

A.内存扫描

B.模式匹配

C.定理证明

D.模型检测

参考答案：A

参考解析：代码静态分析是指在不运行代码的方式下,通过词法分析、语法分析、控制流、数据流分析等技术对程序代码进行扫描,验证代码是否满足规范性、安全性、可靠性、可维护性等指标的一种代码分析技术。常见的代码静态分析方法包括:模式匹配、定理证明、模型检测。