PC-Lint 是GIMPEL SOFTWARE公司開發的C/C++軟件代碼靜態分析工具，它的全稱是PC-Lint/FlexeLint for C/C++，PC-Lint 能夠在Windows、MS-DOS和OS/2平臺上使用，以二進制可執行文件的形式發布，而FlexeLint 運行于其它平臺，以源代碼的形式發布。PC-lint 在全球擁有廣泛的客戶群，許多大型的軟件開發組織都把PC-Lint 檢查作為代碼走查的第一道工序。PC-Lint不僅能夠對程序進行全局分析，識別沒有被適當檢驗的數組下標，報告未被初始化的變量，警告使用空指針以及冗余的代碼，還能夠有效地幫你提出許多程序在空間利用、運行效率上的改進點。