cbmc源码分析（三）

在我尝试全局搜索可能的关键字后，成功定位了mm命令的位置。

 在这里可以找到那几个算法的代码实现。

之后的博客我会详细解释这几个算法。