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

1. 发明申请

WO2016011129A1 ACCURATE STATIC DEPENDENCY ANALYSIS VIA EXECUTION-CONTEXT TYPE PREDICTION 审中-公开
标题翻译：通过执行上下文类型预测精确地进行静态分析
公开(公告)号：WO2016011129A1
公开(公告)日：2016-01-21
申请号：PCT/US2015/040528
申请日：2015-07-15
申请人： THE MATHWORKS, INC.
发明人： WEBB, Peter, Hartwell , STEWART, James, T. , FLANAGAN, Todd
IPC分类号： G06F9/445
CPC分类号： G06F9/4436 , G06F8/31 , G06F9/44521 , G06F9/4494 , G06F11/3688
摘要： Exemplary embodiments provide methods, mediums, and systems for generating a runtime environment that is customized to a particular computer program, particularly in terms of the function definitions that support function calls made in the computer program. The customized runtime environment may therefore be smaller in size than a conventional runtime environment. To create such a customized runtime environment, an analyzer may be provided which monitors test executions of the computer program and/or performs a structural analysis of the source code of the computer program. The analyzer may determine a list of probabilistically or deterministically required function definitions, and provide the list to a component reducer. The component reducer may eliminate any function definitions not deemed to be required from a runtime environment, thereby producing a customized runtime environment that is built to support a particular computer program.
摘要翻译：示例性实施例提供用于生成针对特定计算机程序定制的运行时环境的方法，介质和系统，特别是在支持在计算机程序中进行的功能调用的功能定义方面。因此，定制的运行时环境的尺寸可以比常规的运行时环境小。为了创建这样一个定制的运行时环境，可以提供一种监视计算机程序的测试执行和/或执行计算机程序的源代码的结构分析的分析器。分析器可以确定概率或确定性要求的功能定义的列表，并将列表提供给组件减速器。组件减速器可以消除从运行时环境中不被认为是必需的任何功能定义，从而产生用于支持特定计算机程序的自定义运行时环境。

IPRDB

热门服务

关于我们

友情链接

联系方式