列表
详情
以下不属于代码静态分析的方法是（ ）。
A. 内存扫描
B. 模式匹配
C. 定理证明
D. 模型检测
参考答案:
A
详细解析:
代码静态分析的方法包括模式匹配、定理证明、模型检测等，不包括内存扫描。
上一题
下一题