Method and system for optimizing source code
    1.
    发明申请
    Method and system for optimizing source code 有权
    优化源代码的方法和系统

    公开(公告)号:US20070094650A1

    公开(公告)日:2007-04-26

    申请号:US11254268

    申请日:2005-10-20

    IPC分类号: G06F9/45

    CPC分类号: G06F8/433

    摘要: Methods, systems and apparatus for optimizing a source code are provided. Dependencies for each header file and source code file in the source code are identified for all possible compilation contexts. Certain dependencies can be classified into complete types and incomplete types or named references. Further, these incomplete type dependencies are removed by adding forward declarations where appropriate.

    摘要翻译: 提供了用于优化源代码的方法,系统和装置。 对于所有可能的编译上下文,都会标识源代码中每个头文件和源代码文件的依赖关系。 某些依赖关系可以分为完整类型和不完整类型或命名引用。 此外,通过在适当的情况下添加前向声明来删除这些不完全类型的依赖关系。

    Computer system and method for verifying functional equivalence
    2.
    发明申请
    Computer system and method for verifying functional equivalence 审中-公开
    用于验证功能等同性的计算机系统和方法

    公开(公告)号:US20060041873A1

    公开(公告)日:2006-02-23

    申请号:US10922076

    申请日:2004-08-19

    IPC分类号: G06F9/45

    CPC分类号: G06F8/71

    摘要: A computer system and method are provided for the verification of functional equivalence between at least two source codes residing on at least one computer. A comparison is carried out between a source code and a modified version of the source code. The comparison is performed to determine the functional equivalence between the two source codes. The functional equivalence is determined on the basis of type, scope and linkage of identifiers of the source codes. The identifiers are extracted from the assembly codes of the source codes.

    摘要翻译: 提供了一种用于验证位于至少一台计算机上的至少两个源代码之间的功能等同性的计算机系统和方法。 在源代码和源代码的修改版本之间进行比较。 执行比较以确定两个源代码之间的功能等效性。 基于源代码的标识符的类型,范围和联系来确定功能等价性。 从源代码的汇编代码中提取标识符。