PC-lint and FlexeLint

PC-lint and FlexeLint are powerful static analsis tools that will check your C/C++ source code and find bugs, glitches, inconsistencies, non-portable constructs, redundant code, and much more. It looks across multiple modules, and so, enjoys a perspective your compiler does not have.

Product Overview

• What is Static Analysis?
• Mission Statement
• Representative Checks
• Features
• Interactive Demo
• Listing of messages
• Misra C/C++ Support
• Reviews and Awards
• Designer's Notes
• Supporting Products
• Chronology of PC-lint/FlexeLint

Reference Manual Excerpts

• Customization Facilities
• Pre-compiled Headers
• Dimensional Strong Types
• Value Tracking
• Semantic Specifications (-sem)
• Multi-thread Support
• MISRA C/C++
• Stack Usage Report
• Exporting Program Iformation
• Detailed What's New

What's New in Version 9.00

• Version 9.00 New Features
• Designer's Notes
• Version 9.00 Press Release
• PC-lint Update Pricing and Ordering Information
• To update FlexeLint, send email to "sales" at gimpel.com including your FlexeLint serial number if you know it, and we'll get back to you with update and ordering information.