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

PC-lint/FlexeLint for C/C++ Features


  • PC-lint for C/C++:
    • Windows 7 / Vista / XP / NT / 2000 / 98 / 95 / ME

  • FlexeLint for C/C++:
    • Unix and Unix-like platforms
      (Linux, AIX, HP-UX, Solaris, Tru64 Unix, MAC, etc.)
    • OpenVMS
    • Embedded Systems
    • virtually any platform supporting C


  • supports K&R C, ANSI C, ANSI/ISO C++
  • explicit support for Microsoft, GCC and most other major compilers and libraries
  • support for most major embedded-system compilers including bit addressing.
  • numerous options to support rogue compilers
  • scalars sizes can be specified for cross-compiling

Special Checking Facilities:

  • value tracking of auto and static (even global) variable, to detect subtle initialization and value misuse problems
  • Inter-function Value Tracking -- The powerful inter-statement value tracking crosses function boundaries. Functions called with specific values are later processed, with these values used to initialize parameters.
  • Multi-Pass -- To take full advantage of inter-function tracking and static variable tracking, a multi-pass operation has been introduced.  The user can control the number of passes. (See Designer's Notes)
  • with value tracking as an enabling technology, we support ‘semantics’ checking for almost 100 library functions, this checking can be extended to user functions (see function mimicry)
  • optional strong type checking (typedef-based) with a rich option set to detect nominal type differences. You can even form a fully checked type hierarchy of scalar types using only typedef
  • user-defined semantic checking for function arguments and return values
  • find unused macros, typedef's, classes, members, declarations, etc. across the entire project (see weak definials)
  • checks flow of control for possibly uninitialized variables.
  • explicit support for a subset of the MISRA C and MISRA C++ (TM) (Motor Industry Software Reliability Association) standards
  • other special torture tests


  • Multiple modules are processed at high speed using pre-compiled headers

Message Suppression and Enabling:

  • by message number
  • by message number and symbol name (including wild cards)
  • by message number and symbol type
  • by message number and message parameter
  • one-line suppression
  • by macro name
  • for library headers, by message number (a header is library depending on how it is included; this can be overridden via user options)
  • for specified functions, by message number
  • for expressions


  • indirect files (nested to any depth) can contain filenames, options, environment variables
  • format of lint error messages can be customized to support integration with a wide variety of editors and IDEs
  • all options can be embedded in user code


  • fast one-pass operation,  with a multi-pass option for inter-function value tracking
  • robust - tables will expand as needed to handle large applications

30 day money-back guarantee

Although there is no demo available for PC-lint/FlexeLint, we do offer a 30 day money-back guarantee on direct sales of non-floating, workstation licenses.

If you are interested in a LAN license, please contact us about first purchasing a workstation license for evaluation, which can then be easily converted to a LAN license for the incremental cost.

Please note that our 30 day money back guarantee on PC-lint and FlexeLint workstation licenses may not be available through all dealers. Please inquire before placing your order with a dealer.


Home | Contact | Order

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