Data processing: software development – installation – and managem – Software program development tool – Testing or debugging
Reexamination Certificate
2008-03-04
2008-03-04
Kiss, Eric B. (Department: 2192)
Data processing: software development, installation, and managem
Software program development tool
Testing or debugging
C717S141000, C714S038110
Reexamination Certificate
active
10637453
ABSTRACT:
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.
REFERENCES:
patent: 5960202 (1999-09-01), Granston et al.
“Installing Smatch!!!”, Oct. 11, 2002 [online], accessed Dec. 19, 2006, retrieved from Internet <URL: <http://web.archive.org/web/20021011112904/http://smatch.sourceforge.net/installing.html> (1 page).
“Smatch!!!”, Apr. 4, 2003 [online], accessed Dec. 19, 2006, retrieved from Internet <URL: http://web.archive.org/web/20030404041020/http://smatch.sourceforge.net/>, (3 pages).
“Smatch Intermediate Code Representation!!!”, Oct. 11, 2002 [online], accessed Dec. 19, 2006, retrieved from Internet <URL: http://web.archive.org/web/20021011071814/http://smatch.sourceforge.net/intermed.html> (3 pages).
“Using Smatch!!!”, Apr. 13, 2003 [online], accessed Dec. 19, 2006, retrieved from Internet <URL: http://web.archive.org/web/20030413091737/http://smatch.sourceforge.net/usingSmatch.html>, (2 pages).
“Using smatch.pm!!!”, Jul. 15, 2003 [online], accessed Dec. 19, 2006, retrieved from Internet <URL: http://web.archive.org/web/20030715162055/http://smatch.sourceforge.net/coding.html> (5 pages).
Chelf Benjamin E.
Chou Andy C.
Hallem Seth A.
Coverity, Inc.
Kiss Eric B.
Treyz G. Victor
LandOfFree
Systems and methods for performing static analysis on source... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Systems and methods for performing static analysis on source..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Systems and methods for performing static analysis on source... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3919672