| Gimpel PC-Lint |
|
Gimpel's PC-Lint, and the source code distribution of the same, dubbed FlexeLint are among the most powerful and flexible static code analyzers for C & C++ on the market. In addition to checking for software defects and unsafe coding practices, PC-Lint can enforce many coding style standards, even indentation and brace structure. There are literally hundreds of rules which can be enabled/disabled either individually or in groups. Profiles are available which allow the implementation of entire rule-sets, such as those listed in Scott Meyer's Effective C++ or in the MISRA C standard. As a command line tool, PC-Lint can be integrated with many IDE's as if it was a compiler. This capability can allow for convenient on-the-fly static checking throughout the coding process. PC-Lint's rule set be easily tailored to support automated checking of many coding standard rules and style guidelines; allowing code review to focus on logic and design issues.SafeCode, LLC proudly recommends PC-Lint for static software analysis. We can negotiate volume license discounts, provide support in customizing profiles, and helping you integrate PC-Lint checking into your software development process. |
