DocumentCode
12821
Title
Software That Checks Software: The Impact of PC-lint
Author
Gimpel, James
Volume
31
Issue
1
fYear
2014
fDate
Jan.-Feb. 2014
Firstpage
15
Lastpage
19
Abstract
James Gimpel gives some fascinating insights into the growth, technology, and impact of the very widely used static analyzer, PC-lint in the never-ending battle against the bug.
Keywords
program debugging; program diagnostics; program verification; PC-lint; software bug; software checking; static analyzer; Computer bugs; Program compilers; Program processors; Static analyzers; Turing machines; PC-lint; compilers; impact; lint;
fLanguage
English
Journal_Title
Software, IEEE
Publisher
ieee
ISSN
0740-7459
Type
jour
DOI
10.1109/MS.2014.13
Filename
6750445
Link To Document