试题详情

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

A内存扫描

B模式匹配

C定理证明

D模型检测