发明名称 Systems and methods for performing static analysis on source code
摘要 Systems and methods are provided for performing static error analysis on source code. A computer system having an operating system may contain a number of source code files. During a normal build process, a build program may be used to set various compilation options and to invoke appropriate compilers that compile the source code files into executable code. Static analysis debugging tools may be used to perform static analysis on the source code files. The appropriate static analysis tools may be invoked using a static analysis tool management program. Directory, path and name modification may be used to invoke the analysis tools. A monitoring program may be used to determine how to invoke the tools. The operating system may be modified so that the static analysis tools are invoked in place of the compilers when the build program is run.
申请公布号 US7340726(B1) 申请公布日期 2008.03.04
申请号 US20030637453 申请日期 2003.08.08
申请人 COVERITY, INC. 发明人 CHELF BENJAMIN E.;HALLEM SETH A.;CHOU ANDY C.
分类号 G06F9/45;G06F11/00 主分类号 G06F9/45
代理机构 代理人
主权项
地址