单选题
以下不属于代码静态分析的方法是（）。
A、
内存扫描
B、
模式匹配
C、
定理证明
D、
模型检测
【正确答案】
A
【答案解析】
提交答案
关闭