PC-lint is a commercial software linting tool (static code analysis) produced by Gimpel Software for the C/C++ languages