发明授权
US07937692B2 Methods and systems for complete static analysis of software for building a system
有权
用于构建系统的软件的完全静态分析的方法和系统
- 专利标题： Methods and systems for complete static analysis of software for building a system
- 专利标题（中）： 用于构建系统的软件的完全静态分析的方法和系统
-
申请号： US11289404申请日： 2005-11-30
-
公开(公告)号： US07937692B2公开(公告)日： 2011-05-03
- 发明人: Ulrich Drepper
- 申请人： Ulrich Drepper
- 申请人地址： US NC Raleigh
- 专利权人： Red Hat, Inc.
- 当前专利权人： Red Hat, Inc.
- 当前专利权人地址： US NC Raleigh
- 代理机构： MH2 Technology Law Group LLP
- 主分类号： G06F9/45
- IPC分类号： G06F9/45
摘要：
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.
公开/授权文献
信息查询
