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

2023-09-01

A.内存扫描
B.模式匹配
C.定理证明
D.模型检测

参考答案:A

代码静态分析的方法包括模式匹配、定理证明、模型检测等,不包括内存扫描。

相关推荐