专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明授权

US06938186B2 System and method for performing a path-sensitive verification on a program 失效
标题翻译：对程序进行路径敏感验证的系统和方法
公开(公告)号：US06938186B2
公开(公告)日：2005-08-30
申请号：US10157446
申请日：2002-05-28
申请人： Manuvir Das , Mark C. Seigle , Sorin L. Lerner
发明人： Manuvir Das , Mark C. Seigle , Sorin L. Lerner
IPC分类号： G06F11/30 , G06F11/36 , H04B1/74
CPC分类号： G06F11/3608
摘要： Described is a method and system that performs path-sensitive verification on programs having any code base size. The method maintains a symbolic store that includes symbolic states. Each symbolic state includes a concrete state and an abstract state. The abstract state identifies a state in which the property being tested currently exists. The concrete state identifies other properties of the program. The symbolic store is updated at each node in a logic path of the program with changes in the abstract state and the concrete state. The updates occur such that the symbolic states associated with a particular edge of any node will not have identical abstract states. Rather, in this case, the symbolic states are merged by combining the concrete states to include content that is similar in both symbolic states. In addition, the concrete state determines relevant paths to proceed along in the logic path.
摘要翻译：描述了对具有任何代码库大小的程序执行路径敏感验证的方法和系统。该方法维护包含符号状态的符号存储。每个符号状态都包含具体状态和抽象状态。抽象状态标识当前存在被测试属性的状态。具体状态标识程序的其他属性。符号存储在程序的逻辑路径中的每个节点上进行更新，具有抽象状态和具体状态的变化。发生更新，使得与任何节点的特定边缘相关联的符号状态将不具有相同的抽象状态。相反，在这种情况下，符号状态通过组合具体状态来合并，以包括在两个符号状态中相似的内容。另外，具体的状态决定了在逻辑路径中进行的相关路径。

IPRDB

热门服务

关于我们

友情链接

联系方式