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

1. 发明授权

US07089542B2 Method and apparatus for finding errors in software programs using satisfiability of constraints 失效
标题翻译：使用约束可满足性在软件程序中发现错误的方法和装置
公开(公告)号：US07089542B2
公开(公告)日：2006-08-08
申请号：US10318823
申请日：2002-12-13
申请人： Daniel Brand , John A. Darringer , Florian Krohm
发明人： Daniel Brand , John A. Darringer , Florian Krohm
IPC分类号： G06F9/45 , G06F9/44
CPC分类号： G06F11/3608
摘要： A method and apparatus are provided for analyzing software programs. The invention combines data flow analysis and symbolic execution with a new constraint solver to create a more efficient and accurate static software analysis tool. The disclosed constraint solver combines rewrite rules with arithmetic constraint solving to provide a constraint solver that is efficient, flexible and capable of satisfactorily expressing semantics and handling arithmetic constraints. The disclosed constraint solver comprises a number of data structures to remember existing range, equivalence and inequality constraints and incrementally add new constraints. The constraint solver returns an inconsistent indication only if the range constraints, equivalence constraints, and inequality constraints are mutually inconsistent.
摘要翻译：提供了一种用于分析软件程序的方法和装置。本发明将数据流分析和符号执行与新的约束求解器相结合，以创建更有效和准确的静态软件分析工具。所公开的约束求解器将重写规则与算术约束求解相结合，以提供有效，灵活且能够令人满意地表达语义和处理算术约束的约束求解器。所公开的约束求解器包括许多数据结构，以记住现有的范围，等价和不等式约束，并逐渐增加新的约束。只有当范围约束，等价约束和不等式约束相互不一致时，约束求解器才会返回不一致的指示。

2. 发明授权

US07168009B2 Method and system for identifying errors in computer software 失效
标题翻译：识别计算机软件错误的方法和系统
公开(公告)号：US07168009B2
公开(公告)日：2007-01-23
申请号：US10669306
申请日：2003-09-24
申请人： John A. Darringer , Daniel Brand , Florian Krohm
发明人： John A. Darringer , Daniel Brand , Florian Krohm
IPC分类号： G06F11/00
CPC分类号： G06F11/3688
摘要： Disclosed are a method and system for analyzing a computer program. The method comprises the steps of analyzing the program to generate an initial error report and a list of suspected error conditions, and generating a set of assertions and inserting the assertions into the program to determine if the suspected error conditions are valid. Preferably, a strong static analysis method is used to identify an initial set of error reports. When this analysis fails to determine if the condition is true or false, the condition along with the potential program error is captured to form a suspected error. Suspected errors are directed to an assertion generator to produce a monitor—that is, source code modification that is integrated with the original program. This and other inserted monitors check the conditions for the suspected error during the program execution.
摘要翻译：公开了一种用于分析计算机程序的方法和系统。该方法包括以下步骤：分析程序以生成初始错误报告和可疑错误条件列表，并产生一组断言并将断言插入程序中，以确定可疑错误条件是否有效。优选地，使用强静态分析方法来识别初始的错误报告集合。当此分析无法确定条件是真还是假时，捕获条件以及可能的程序错误以形成可疑错误。可疑的错误针对一个断言发生器来产生一个监视器，即与原始程序集成的源代码修改。这个和其他插入的监视器在程序执行期间检查疑似错误的条件。

3. 发明申请

US20050066234A1 Method and system for identifying errors in computer software 失效
标题翻译：识别计算机软件错误的方法和系统
公开(公告)号：US20050066234A1
公开(公告)日：2005-03-24
申请号：US10669306
申请日：2003-09-24
申请人： John Darringer , Daniel Brand , Florian Krohm
发明人： John Darringer , Daniel Brand , Florian Krohm
IPC分类号： G06F11/00
CPC分类号： G06F11/3688
摘要： Disclosed are a method and system for analyzing a computer program. The method comprises the steps of analyzing the program to generate an initial error report and a list of suspected error conditions, and generating a set of assertions and inserting the assertions into the program to determine if the suspected error conditions are valid. Preferably, a strong static analysis method is used to identify an initial set of error reports. When this analysis fails to determine if the condition is true or false, the condition along with the potential program error is captured to form a suspected error. Suspected errors are directed to an assertion generator to produce a monitor—that is, source code modification that is integrated with the original program. This and other inserted monitors check the conditions for the suspected error during the program execution.
摘要翻译：公开了一种用于分析计算机程序的方法和系统。该方法包括以下步骤：分析程序以生成初始错误报告和可疑错误条件列表，并生成一组断言并将断言插入程序中，以确定可疑错误条件是否有效。优选地，使用强静态分析方法来识别初始的错误报告集合。当此分析无法确定条件是真还是假时，捕获条件以及可能的程序错误以形成可疑错误。可疑的错误针对一个断言发生器来产生一个监视器，即与原始程序集成的源代码修改。这个和其他插入的监视器在程序执行期间检查疑似错误的条件。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式