Gimpel Software
  Order        Patches        Discussion Forum    Blog 
Contact      Site Map       
   Bug of the Month
   Interactive Demo

PC-lint Plus Version 1.1 is now available

If you have a license for PC-lint Plus, you should have already received an email inviting you to download the new Version 1.1. If you have not yet received that email, please contact sales with your contact information and your PC-lint Plus serial number so they can investigate.

If you are currently evaluating Version 1.0 of PC-lint Plus and want to try out Version 1.1, please contact sales with your request.

PC-lint Plus has been released

After more than a year of Beta testing, we are happy to announce the release of PC-lint Plus 1.0. Licensing of PC-lint Plus will be based on a Team License. To obtain a quote, please contact with your company information, a brief overview of how you will be using PC-lint Plus, and the total number of Developers (as defined in the license agreement) who will be working on the C/C++ source code of the projects that will be analyzed by PC-lint Plus.

A 30-day evaluation license for PC-lint Plus is now available. To request an evaluation license, please contact with your company information and specify the platform(s) on which you would like to evaluate PC-lint Plus (Windows 7/8/10, Mac OS, and Linux). See our evaluation license agreement for terms.

What is PC-lint Plus?

PC-lint Plus is a rewrite of PC-lint from the ground up. It combines the clang framework with Gimpel Software's 30+ years of static analysis experience to provide a product that supports the latest C and C++ standards and implements the leading edge analysis technology that Gimpel Software is known for. While PC-lint Plus is a new offering from Gimpel Software, it is largely backward compatible with PC-lint /FlexeLint. In particular, most of the same options and messages are supported by PC-lint Plus, indirect files work the same way, and flagship features such as Value Tracking, User-defined Function Semantics, and Strong Types are all available and many features have been significantly enhanced.

Read More

We're hiring!

If you are an experienced C/C++ programmer in the Greater Philadelphia area and are interested in the challenge of developing software for the evolving world of static analysis, we'd like to talk with you. See our listing at C++ Software Engineer at Gimpel Software for requirements and application information.

PC-lint for C was first introduced in 1985.   It will thoroughly check your C source code for bugs, glitches, inconsistencies, non-portable constructs, and much more,  so you can find and fix your bugs more quickly, and more economically, than with traditional debugging procedures
PC-lint for C runs on Microsoft Windows

FlexeLint The demand for PC-lint checking for non-Windows development led to the introduction of FlexeLint in 1988. FlexeLint is distributed as shrouded C source code, to make the capabilities of PC-lint available wherever there is a C compiler to compile it.
FlexeLint for C runs on all systems that support a C compiler, including all variants of UNIX.

Version 9.00 Patches   The current patch level is "Version 9.00L" This patch provides many bug fixes and enhanced checking for MISRA. See our bug fix file for details.

Our Response to GrammaTech's allegations
A so-called "whitepaper" produced by Grammatech and comparing CodeSonar with PC-lint was recently brought to our attention by several of our users. We felt compelled to set the record straight and correct the many errors found in that paper.

Celebrating 30 Years of PC-lint
PC-lint started 30 years ago as a stop-gap measure for a simple operating system with limited memory to solve a problem (matching function arguments to their parameters) that no longer exists. Over the course of time, it has evolved to become a highly flexible system of finding deep bugs and security breaches and is now arguably the most widely used, fully-featured, C/C++ static analyzer on the planet.

Software That Checks Software: The Impact of PC-lint
"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."
IEEE Software, vol. 31, no. 1, pp. 15-19, Jan.-Feb. 2014

Interactive Demo now supports multi-module checking
Although PC-lint has been providing multi-module checking since version 1.0 was released in May of 1985, our on-line demo was set up to process only one source file at a time. That has just changed. You can now enter several C, C++ and header files into the online demo to see the power of inter-module checking that PC-lint and FlexeLint have had from the beginning.

Just follow the set up directives at
Introducing Multiple Modules (MM).

A Bug a Month? It's Harder Than You Think
Have you ever wondered who's been writing our "Bug of the Month" ads for the past 18 years? Among all those ads, which one has been the most controversial? To find out, read an interview of the "legendary Jim Gimpel" by Dr. Dobb's Journal editor, Jonathan Erickson.

Interactive Demo
Did you ever encounter a snippet of C code that you wanted to quickly test against Gimpel lint? Check out our new Interactive Demo. We provide several source files for you to lint and modify. There's even a blank slate for your own creations. Just type or copy your code into the code box, click "Analyse" and see what happens.

Lint is still a champ at detecting errors
For this review, I prepared a small C file with obvious bugs in it and asked each vendor to run it at the most sensitive bug-sniffing levels. Coverity, due to its detection philosophy, found zero; Klocwork found five. PC-lint generated 15 warnings. Here, however, is the critical difference. Only PC-lint correctly identified a miscoded function call. All vendors agreed this call could generate a null-pointer exception, which is a showstopper in C and C++ and a specific target of the reviewed suites.
            Andrew Binstock, InfoWorld, January 30, 2006

[ award ] Each year one product is inducted into the Front Line Awards Hall of Fame. The inductee is chosen for its outstanding contribution to the game development industry. This year's honor was presented to Gimpel Software's PC-lint. PC-lint is a tool for programmers which enables them to search for thousands of types of common errors in their game's C and C++ source code. Even after a decade of availability, PC-lint continues to be the tool of choice to verify cross-platform compatibility and source code validity with the highest standards
     Game Developer Magazine Press Release, Dec. 11, 2000, See page 13 in the archives.

Home | Contact | Order

PC-lint and FlexeLint are trademarks of Gimpel Software LLC
Copyright © 2017, Gimpel Software LLC, All rights reserved.