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

1. 发明授权

US08782595B1 Systems and methods for rule based meta-programming of actions for rule based build systems 有权
标题翻译：用于基于规则的构建系统的基于规则的元编程的操作的系统和方法
公开(公告)号：US08782595B1
公开(公告)日：2014-07-15
申请号：US13267386
申请日：2011-10-06
申请人： Jeffrey van Gogh , Ronald Aaron Braunstein , Stephen F. Yegge , Michael Forster , Bruce Chandler Carruth , Manuel Victor Klimek , Ulf Adams
发明人： Jeffrey van Gogh , Ronald Aaron Braunstein , Stephen F. Yegge , Michael Forster , Bruce Chandler Carruth , Manuel Victor Klimek , Ulf Adams
IPC分类号： G06F9/44
CPC分类号： G06F8/70
摘要： A build system and method, including receiving attribute rules and new rules, wherein the attribute rules correspond to one or more predefined default actions of the build system, wherein the new rules specify new actions that are to be added to the build system. A graph is generated to include files specified as attributes in the attributes rules and the one or more predefined default actions that correspond to the attributes rules. A request to enable at least one of the new rules is received. Action listener rules are received, wherein the action listener rules indicate default actions and corresponding new rules of the one or more new rules. The graph is checked for default actions that are indicated in the action listener rules. Additional actions are added to the graph for new rules based on the default actions indicated in the action listener rules.
摘要翻译：一种构建系统和方法，包括接收属性规则和新规则，其中所述属性规则对应于所述构建系统的一个或多个预定义的默认动作，其中所述新规则指定要添加到构建系统的新动作。生成图形以包括在属性规则中指定为属性的文件以及与属性规则对应的一个或多个预定义的默认动作。接收到启用至少一个新规则的请求。接收到动作侦听器规则，其中动作侦听器规则指示一个或多个新规则的默认动作和相应的新规则。检查在动作侦听器规则中指示的默认动作的图形。基于动作侦听器规则中指示的默认动作，附加操作将添加到新规则的图形中。

2. 发明授权

US08949802B1 Sharding program compilation for large-scale static analysis 有权
标题翻译：分段程序编译用于大规模静态分析
公开(公告)号：US08949802B1
公开(公告)日：2015-02-03
申请号：US13276116
申请日：2011-10-18
申请人： Jeffrey van Gogh , Manuel Victor Klimek
发明人： Jeffrey van Gogh , Manuel Victor Klimek
IPC分类号： G06F9/44
CPC分类号： G06F8/75 , G06F9/4552
摘要： A system, method, and computer-readable medium for static analysis of large-scale computer programs that uses a compiler to shard the computer programs by source files. Original compilation information is received for one or more groups of source files that reference modules in module containers. The compiler is run to determine a set of modules in the module containers and other source files that are referenced by a source file of the groups of source files. The compilation information is modified on the basis of the source file, the set of modules and the referenced source files. Static analysis is performed on the source file using the modified compilation information. Static analysis is efficiently performed over large-scale computer programs.
摘要翻译：用于静态分析大型计算机程序的系统，方法和计算机可读介质，其使用编译器来通过源文件分割计算机程序。接收到一个或多个引用模块容器中的模块的源文件组的原始编译信息。运行编译器以确定模块容器中的一组模块以及由源文件组的源文件引用的其他源文件。在源文件，模块集和引用的源文件的基础上修改编译信息。使用修改的编译信息对源文件执行静态分析。在大型计算机程序中有效地执行静态分析。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式