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

1. 发明授权

US08826238B2 Per group verification 有权
标题翻译：每组验证
公开(公告)号：US08826238B2
公开(公告)日：2014-09-02
申请号：US12357583
申请日：2009-01-22
申请人： Adam Shapiro , Conal McGarvey , Vladimir A. Levin , Jakob F. Lichtenberg
发明人： Adam Shapiro , Conal McGarvey , Vladimir A. Levin , Jakob F. Lichtenberg
IPC分类号： G06F9/44 , G06F9/445 , G06F11/36
CPC分类号： G06F9/44589 , G06F11/3604 , G06F11/3608 , G06F11/3612
摘要： Various embodiments provide per group verification techniques in which code may be verified against one or more rules on a group by group basis. In one or more embodiments relationships between portions of a module to be verified can be defined. By being aware of relationships between various code portions, various embodiments can divide a module into related groups and perform verification on the basis of the groups. Multiple groups can be derived based at least in part upon the relationships. Each group can then be verified separately for compliance with one or more rules. Verification results can be output for each of the groups.
摘要翻译：各种实施例提供每组验证技术，其中可以逐组地对一个或多个规则验证代码。在一个或多个实施例中，可以定义要验证的模块的部分之间的关系。通过了解各种代码部分之间的关系，各种实施例可以将模块划分成相关的组，并且基于组进行验证。可以至少部分地基于关系导出多个组。然后可以单独验证每个组，以符合一个或多个规则。可以为每个组输出验证结果。

2. 发明申请

US20100186003A1 Per Group Verification 有权
标题翻译：每组验证
公开(公告)号：US20100186003A1
公开(公告)日：2010-07-22
申请号：US12357583
申请日：2009-01-22
申请人： Adam Shapiro , Conal McGarvey , Vladimir A. Levin , Jakob F. Lichtenberg
发明人： Adam Shapiro , Conal McGarvey , Vladimir A. Levin , Jakob F. Lichtenberg
IPC分类号： G06F9/44 , G06N5/02
CPC分类号： G06F9/44589 , G06F11/3604 , G06F11/3608 , G06F11/3612
摘要： Various embodiments provide per group verification techniques in which code may be verified against one or more rules on a group by group basis. In one or more embodiments relationships between portions of a module to be verified can be defined. By being aware of relationships between various code portions, various embodiments can divide a module into related groups and perform verification on the basis of the groups. Multiple groups can be derived based at least in part upon the relationships. Each group can then be verified separately for compliance with one or more rules. Verification results can be output for each of the groups.
摘要翻译：各种实施例提供每组验证技术，其中可以逐组地对一个或多个规则验证代码。在一个或多个实施例中，可以定义要验证的模块的部分之间的关系。通过了解各种代码部分之间的关系，各种实施例可以将模块划分成相关的组，并且基于组进行验证。可以至少部分地基于关系导出多个组。然后可以单独验证每个组，以符合一个或多个规则。可以为每个组输出验证结果。

3. 发明申请

US20100275186A1 SEGMENTATION FOR STATIC ANALYSIS 审中-公开
标题翻译：静态分析分段
公开(公告)号：US20100275186A1
公开(公告)日：2010-10-28
申请号：US12431187
申请日：2009-04-28
申请人： Conal McGarvey , Vladimir A. Levin , Jakob F. Lichtenberg
发明人： Conal McGarvey , Vladimir A. Levin , Jakob F. Lichtenberg
IPC分类号： G06F9/44
CPC分类号： G06F11/3604 , G06F9/44589
摘要： Various embodiments provide techniques to segment program code that may be the subject of static analysis. In one or more embodiments, an algorithm is applied to an abstract representation of the program code to derive segments for the program code. In at least some embodiments, multiple segments can be derived based at least in part upon of one or more “boxed” portions of the program code that are designated to remain intact within the segments. Each segment can then be subjected individually to static analysis to verify compliance with one or more prescribed behaviors. Verification results can be output for each individual segment and the individual results can be combined to obtain results for the program code overall.
摘要翻译：各种实施例提供了分割可能是静态分析主题的程序代码的技术。在一个或多个实施例中，将算法应用于程序代码的抽象表示以导出程序代码的段。在至少一些实施例中，可以至少部分地基于指定为在段内保持完整的程序代码的一个或多个“盒装”部分来导出多个段。然后可以将每个片段单独进行静态分析，以验证是否符合一个或多个规定的行为。可以为每个单独的段输出验证结果，并且可以组合各个结果以获得整个程序代码的结果。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式