题目

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

作答
内存扫描
模式匹配
定理证明
模型检测
答案/解析
查看试卷及答案