中科微点-全球专利检索

  1. Login
  2. Sign Up
Invention Grant
US07937692B2 Methods and systems for complete static analysis of software for building a system 有权
用于构建系统的软件的完全静态分析的方法和系统

  • Patent Title: Methods and systems for complete static analysis of software for building a system
  • Patent Title (中): 用于构建系统的软件的完全静态分析的方法和系统
  • Application No.: US11289404
    Application Date: 2005-11-30
  • Publication No.: US07937692B2
    Publication Date: 2011-05-03
  • Inventor: Ulrich Drepper
  • Applicant: Ulrich Drepper
  • Applicant Address: US NC Raleigh
  • Assignee: Red Hat, Inc.
  • Current Assignee: Red Hat, Inc.
  • Current Assignee Address: US NC Raleigh
  • Agency: MH2 Technology Law Group LLP
  • Main IPC: G06F9/45
  • IPC: G06F9/45
Methods and systems for complete static analysis of software for building a system
Abstract:
Embodiments of the present invention provide systems and methods for the static analysis of entire systems of software. Source code for at least some of the software system is received. An functional representation of the source code is generated from when the source code is compiled and references to other software are identified. The functional representations of the other software is retrieved from an archive and an abstract representation of the entire software system is built. A static analysis is then performed against the abstract representation of the entire system and results are provided. The software system or one or more of its components may be certified based on the static analysis results.
Abstract(Chinese):

本发明的实施例提供了用于静态分析整个软件系统的系统和方法。 收到至少部分软件系统的源代码。 源代码的功能表示是从编译源代码和识别对其他软件的引用生成的。 从存档中检索其他软件的功能表示，并构建整个软件系统的抽象表示。 然后针对整个系统的抽象表示执行静态分析，并提供结果。 软件系统或其一个或多个组件可以基于静态分析结果进行认证。

Public/Granted literature
Information query
Espacenet
Patent Agency Ranking
0/0