[发明专利]针对VMP指令引发目标内存变化的检测方法

权利要求书

1.针对VMP指令引发目标内存变化的检测方法，其特征在于，检测方法的实现过程如下：

步骤1，设置终点为VMP的出口点；

步骤2，断点到内存基准点，计算目标内存的md5；

步骤3，依断点次序执行完所有的历史增量子序列；

步骤4，对VMP的每条指令子序列的解析出口分别设置一个断点；

步骤5，在执行到下一个断点后，取消该断点；

步骤6，当前断点是否为终点，若当前断点是终点，则执行步骤7；若当前断点不是终点，则执行步骤11；

步骤7，目标内存md5是否改变，若目标内存md5有改变，则执行步骤8；若目标内存md5没有改变，则执行步骤10；

步骤8，增量子序列长度是否为0，若增量子序列长度为0，则执行步骤9；若增量子序列长度不为0，则执行步骤13；

步骤9，找到内存变化点，然后执行步骤16；

步骤10，错误，不应该有这种情况，然后执行步骤16；

步骤11，当前断点是否为同一个断点，若当前断点是同一个断点，则执行步骤12；若当前断点不是同一个断点，则执行步骤14；

步骤12，当前断点即为内存变化察觉点，并将该内存变化察觉点设置为下一轮逼近的终点，然后执行步骤13；

步骤13，本轮次逼近结束，把增量子序列增加到历史增量子序列中去，然后返回到步骤2；

步骤14，把当前断点加入到本轮次增量子序列中去，然后执行步骤15；

步骤15，所有断点是否执行完毕，如果所有断点没有执行完毕，则返回到步骤5；如果所有断点已执行完毕，则返回到步骤13；

步骤16，算法结束。

2.根据权利要求1所述的针对VMP指令引发目标内存变化的检测方法，其特征在于，在步骤S3中，在依断点次序执行完所有的历史增量子序列的过程中，如果前一个断点的历史增量子序列的长度大于后一个断点的历史增量子序列的长度，则后一个断点的历史增量子序列的长度需要加一个修正值a，这个修正值a等于前一个断点的历史增量子序列的长度除以后一个断点的历史增量子序列的长度。

3.根据权利要求1所述的针对VMP指令引发目标内存变化的检测方法，其特征在于，在步骤S5中，在取消该断点时，将该断点的位置信息写入到下一个断点的前端。