PC-Lint 是GIMPEL SOFTWARE公司開(kāi)發(fā)的C/C++軟件代碼靜態(tài)分析工具，它的全稱是PC-Lint/FlexeLint for C/C++，PC-Lint 能夠在Windows、MS-DOS和OS/2平臺(tái)上使用，以二進(jìn)制可執(zhí)行文件的形式發(fā)布，而FlexeLint 運(yùn)行于其它平臺(tái)，以源代碼的形式發(fā)布。PC-lint 在全球擁有廣泛的客戶群，許多大型的軟件開(kāi)發(fā)組織都把PC-Lint 檢查作為代碼走查的第一道工序。PC-Lint不僅能夠?qū)Τ绦蜻M(jìn)行全局分析，識(shí)別沒(méi)有被適當(dāng)檢驗(yàn)的數(shù)組下標(biāo)，報(bào)告未被初始化的變量，警告使用空指針以及冗余的代碼，還能夠有效地幫你提出許多程序在空間利用、運(yùn)行效率上的改進(jìn)點(diǎn)。