US 7,340,726 B1
Systems and methods for performing static analysis on source code
Benjamin E. Chelf, Palo Alto, Calif. (US); Seth A. Hallem, San Francisco, Calif. (US); and Andy C. Chou, San Francisco, Calif. (US)
Assigned to Coverity, Inc., San Francisco, Calif. (US)
Filed on Aug. 08, 2003, as Appl. No. 10/637,453.
Int. Cl. G06F 9/45 (2006.01); G06F 11/00 (2006.01)
U.S. Cl. 717—126  [717/141; 714/38] 18 Claims
OG exemplary drawing
 
1. A method for using static analysis tools on a computer system to perform error analysis on source code files, comprising:
running a build program on the computer system to invoke compilers on the computer system that compile the source code files into executable code, wherein running the build program produces a build program output; and
running a static analysis tool management program on the computer system to invoke the static analysis tools and produce corresponding static error analysis results, wherein the static analysis tool management program accepts the source code and the build program output as inputs.