ACCURATE STATIC DEPENDENCY ANALYSIS VIA EXECUTION-CONTEXT TYPE PREDICTION
    1.
    发明申请
    ACCURATE STATIC DEPENDENCY ANALYSIS VIA EXECUTION-CONTEXT TYPE PREDICTION 有权
    通过执行上下文类型预测精确地进行静态分析

    公开(公告)号:US20160019071A1

    公开(公告)日:2016-01-21

    申请号:US14332075

    申请日:2014-07-15

    Abstract: 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.

    Abstract translation: 示例性实施例提供用于生成针对特定计算机程序定制的运行时环境的方法,介质和系统,特别是在支持在计算机程序中进行的功能调用的功能定义方面。 因此,定制的运行时环境的尺寸可以比常规的运行时环境小。 为了创建这样一个定制的运行时环境,可以提供一种监视计算机程序的测试执行和/或执行计算机程序的源代码的结构分析的分析器。 分析器可以确定概率或确定性要求的功能定义的列表,并将列表提供给组件减速器。 组件减速器可以消除从运行时环境中不被认为是必需的任何功能定义,从而产生用于支持特定计算机程序的自定义运行时环境。

Patent Agency Ranking