Gimpel Software
  Order        Patches        Discussion Forum        Blog 
Contact      Site Map       
   Home
   Bug of the Month
  Products
   Order
   Support
   Company
   Links
   Interactive Demo
Google Search box  
Search gimpel.com:

Partners

  • Cleanscape C++Lint
    Cleanscape C++Lint uses the PC-lint static analyzer and provides three user interfaces:
    (a) a graphical user interface with point and click control of PC-lint's analysis with hyperlinks to numerous code editors
    (b) deep integration with Visual Studio, automated by Cleanscape
    (c) the classic command line with return codes for scripts or builds


  • KEIL - Tools by ARM
    The Keil products from ARM include C/C++ compilers, debuggers, integrated environments, RTOS, simulation models, and evaluation boards for ARM, Cortex-M, Cortex-R, 8051, C166, and 251 processor families. Each of the Keil development tools, ARM, C51, C251, and C166, support Gimpel Software's PC-lint. Configuration files are included in the Keil development tools which enable you to quickly and easily begin using PC-lint in your application development and testing.


  • Linticator
    Linticator is a plug-in for Eclipse CDT that automatically configures Lint with your Eclipse CDT Project settings, Linticator displays your Lint messages in the Editor and the Problems View, making them easy to spot and correct. For some messages, it will even provide quick-fixes that let you quickly correct or suppress a warning.


  • Microchip
    [ microchip] Microchip Technology Inc. is a leading provider of microcontroller and analog semiconductors. Gimpel Software proudly supports the Microchip brand with PC-lint. PC-lint can be executed from within the MPLAB X IDE. Visit the Microchip Technology web site for more information by clicking here.


  • Riverblade -- Visual Lint
    Visual Lint allows you to more effectively run PC-lint from within Microsoft Visual Studio and even provides for automatic background linting of your code.


  • Riverblade -- LintProject
    LintProject will enhance your use of PC-lint with Visual C++. LintProject can be run against a Visual C++ project or solution file (.dsp, .vcproj, .sln or .dsw), and will tell PC-lint which source files to analyse. It will write XML and HTML reports which link to your PC-lint output and indicate how many warnings were found within each implementation file, project and solution. These reports are automatically refreshed in real time so you can follow the progress of PC-lint's analysis of your code.


  • Vector Software -- VectorCAST/Lint
    VectorCAST/Lint utilizes the powerful Lint source code analysis engine from Gimpel Software and has been extended to support the extensive list of embedded compiler environments currently integrated with the rest of the VectorCAST dynamic testing product line. VectorCAST/Lint launches the PC-lint product from Gimpel Software to statically analyze one or more source code files. VectorCAST/Lint now supports MISRA C 2012 checking

    GUI-Based Analysis and Reporting -- The VectorCAST/Lint message browser makes it easy to review errors and warnings in the context of the source file where they occur. Additionally, the message browser displays detailed explanations of the concepts behind the analysis.


Supporting Products and Tutorials

  • The Barr Group
    offers a training course on using FlexeLint to check for MISRA C compliance Critical Software Safeguards Course: Lint and MISRA-C. See also our blog discussion of the Barr Group's "Top 10 Bug-Killing Coding Standard Rules".


  • An Introduction to PC-lint by Ralf Holly
    This excellent slideshow provides an overview of PC-lint, including sample source code and output, an overview of configuration options, a discussion of special features and more.


  • Warnings Plugin for Jenkins Users
    Jenkins users will want to check out this plug-in which supports PC-lint.


  • FlexeLint: A Modern Static Analyzer for C and C++
    is Rob Gamble's blog commentary on FlexeLint and includes many interesting code samples.


  • Cooperative Limiting of Concurrent Process Instances
    is Rob Gamble's blog commentary on exectimes - his program that uses POSIX advisory locking to prevent more than a specifed number of instances of a program from running at one time.


  • PC-lint Wizard
    is a free and open-source GUI-based tool designed to facilitate setting up and maintaining the PC-lint source code analysis tool for your projects. PC-lint Wizard requires the Microsoft .NET Framework 4.


  • PC-lint Windows Help File   from Dreamcycle    Now supporting Version 9.0
    Have you ever wished you had a help file of PC-lint messages that you could access from within your IDE?   Check out Scott's web page - it may be just what you're looking for.


  • PC-lint Tutorial from Johan Bezem
    "How To Wield PC-lint" is an excellent tutorial for new users, but also contains useful information for the PC-lint pro.


  • HLL - Heuristic Lint issue Locator by Ralf Holly. After a PC-lint run, you frequently want to know what exactly a warning is about. In this case, you fire-up msg.txt and search for the error number. With HLL (a Perl script) it's much easier: just pass it the error number (or numbers) and it extracts the corresponding parts from msg.txt and displays them on the console.


  • Lint Metrics & ALOA by Ralf Holly, C/C++ Users Journal, June 2004
    "ALOA (short for A Lint Output Analyzer) is a tool that processes output generated by PC-lint and computes various useful metrics that give a quick overview of the internal quality of any C/C++ project.  Furthermore, it shows which kind of Lint issues are most frequently encountered and highlights issue-laden modules.  The metrics produced by ALOA are useful for tracking a project's lint compliance and for fine-tuning Lint policies."


  • "A Report Generator for PC-lint" by Jon Zyzyck, Dr. Dobb's Journal  February 2003


  • "Automated Defect Identification" by Kevin Smith,   Dr. Dobb's Journal  February 2003


  • All About Lint -- PC-lint and Windows Drivers,   The NT Insider , September-October 2002


PC-lint/FlexeLint Consultants

  • JB Enterprises ( j.bezem@computer.org ) www.bezem.de
    "How To Wield PC-lint" Johan Bezem's excellent tutorial and tips


  • Soft-Lutions in Europe www.soft-lutions.com


  • Ralf Holly www.approxion.com See "An Introduction to PC-lint", HLL and ALOA above.


  • Rich Mauritz-Miller is an expert in using PC-lint to rapidly increase product quality and to sustain these gains by incorporating PC-lint into effective software build processes. He has applied PC-lint to a number of products at various companies, including GE Healthcare and Raima Corporation, starting in 1991. Hes found that the success factors include the simplicity of how the software is used and the change management processes around it. By focusing on key errors (often up to several thousand serious-to-critical bugs per product), organizations can improve quality aggressively, and then further increase the quality over time. Rich is available on a consulting basis for mentoring, training, and - most importantly - hands-on, collaborative fixing of software defects with existing teams. Email: Rich.Miller.6@gmail.com


If you have information that you think should be added to this page, please email it to "anneliese" at gimpel.com


Home | Contact | Order

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