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;
