一种程序不可达路径的自动检测方法

摘要

本发明公开了一种程序不可达路径的自动检测方法，通过将待检测的计算机程序转化为控制流图；将控制流图转化为程序模型，进行可达性分析得到不可达状态，通过自动检测不可达状态得到不可达状态的集合，然后根据不可达状态的集合得到不可达路径集合。本发明以理论上较为简单的状态搜索技术为基础，相比已有技术通常基于较复杂的数学理论，有效降低了技术运用与推广的难度；提供了完整的、具有较高自动化程度的程序不可达路径检测方法；解决了控制流图的可达性检测问题；解决了静态分析技术在处理较复杂程序时所存在的困难与低效问题；解决了静态分析技术在处理多分支程序的过程中，难以表达复合型数据的问题。

主权项

一种程序不可达路径的自动检测方法，其特征在于，包括如下步骤：步骤1)将待检测的计算机程序转化为控制流图；步骤2)通过改进的广度优先搜索策略将控制流图转化为程序模型；步骤3)分析每个状态是否可达，寻找程序中的不可达路径，方法为：验证程序模型中的每个状态s是否存在一条包含s的状态序列；若对于某个状态s，不存在包含s的状态序列，则此状态为不可达状态；步骤4)采用模型检测技术自动检测步骤2)中的程序模型，得到不可达状态的集合；步骤5)根据不可达状态的集合，搜索程序路径是否包含不可达状态，得到不可达路径集合。