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

21. 发明授权

US07089537B2 System and method for performing path-sensitive value flow analysis on a program 有权
标题翻译：对程序执行路径敏感值流分析的系统和方法
公开(公告)号：US07089537B2
公开(公告)日：2006-08-08
申请号：US10662942
申请日：2003-09-15
申请人： Manuvir Das , Stephen R. Adams , Nurit Dor
发明人： Manuvir Das , Stephen R. Adams , Nurit Dor
IPC分类号： G06F9/44
CPC分类号： G06F8/433
摘要： Described is a method and system for performing path-sensitive value flow analysis on a software program. Concrete state and value alias information is tracked along each statement and each relevant path in an abstract program and is stored as a symbolic state in a symbolic store. The value alias information includes a first set of aliases that identify aliases for a designated value that is being analyzed and a second set of aliases that identify possible aliases for the designated value. The value alias information is obtained using imprecise memory alias analysis. Along each relevant path for each statement, transforms are applied to the sets of aliases to update the first and second sets of aliases. The transforms are applied based on the type of statement being processed. Symbolic states existing at the same location are merged if the value alias information is identical within the symbolic states.
摘要翻译：描述了一种用于在软件程序上执行路径敏感值流分析的方法和系统。每个语句和抽象程序中的每个相关路径跟踪具体状态和值别名信息，并将其作为符号状态存储在符号存储中。值别名信息包括识别被分析的指定值的别名的第一组别名以及标识指定值的可能别名的第二组别名。使用不精确的内存别名分析获取值别名信息。沿着每个语句的每个相关路径，转换将应用于别名集以更新第一和第二组别名。转换根据正在处理的语句的类型应用。如果符号状态中的值别名信息相同，则在同一位置存在的符号状态将被合并。

22. 发明授权

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

热门服务

关于我们

友情链接

联系方式