PC-lint Plus
Static Code Analysis for C and C++Static Code Analysis for C and C++
PC-lint Plus is a static analysis tool that finds defects in software by analyzing the C and C++ source code.
Like a compiler, PC-lint Plus parses your source code files, performs semantic analysis, and builds an abstract syntax tree to represent your program. From there, PC-lint Plus employs various mechanisms including Data Flow Analysis, Abstract Interpretation, Value Tracking, read-write analysis, Strong Type checking, function semantic validation, and many other technologies to provide a robust and holistic analysis of both individual files and an entire project.
PC-lint Plus then reports its findings using clear, concise, and actionable diagnostics that are easy to understand. The diagnostic message format is fully customizable and includes precise location information and context necessary to quickly address defects. PC-lint Plus can be run from the command line, integrated into your build process or continuous integration system, or run from within your IDE.
Advantages
- Identify a wide range of defects and vulnerabilities
- Deep analysis to find potential bugs and suspicious code
- Quickly identify root cause and provide actionable fixes
- Support for coding Standards such as MISRA, AUTOSAR, and CERT C
- Certified for ISO 26262 and IEC 61508
Highlights of Version PC-lint Plus 1.4.1
PC-lint Plus provides the following functions:
- Thread Analysis detects a wide range of issues unique to multi-threaded programs including data races and deadlocks
- Support for MISRA C 2012 AMD-2
- Automated configuration support for Texas Instruments Code Composer Studio compilers
Features
Widely Compatible
PC-lint Plus runs natively on Windows 7/8/10, Linux, and macOS and can analyze source code targeting virtually any platform. By providing support for a wide variety of compilers, C11/C18 and C++17, and the ability to integrate with your existing IDE, build process, or continuous integration system, PC-lint Plus can quickly be incorporated into any project. PC-lint Plus supports plain text, HTML, and XML output which can easily be customized to support virtually any format.
Scalable
Leverage the parallel computation capabilities of modern hardware to quickly analyze large projects. PC-lint Plus scales efficiently to utilize multiple processing cores by using independent threads and minimal shared memory. Developers and testers can perform code analysis on individual workstations or query results from a build server automatically analyzing every code change. Our message suppression system makes it easy to get started by focusing on the most relevant diagnostics. It is flexible enough to support the needs of large projects involving multiple teams, guidelines, and exemptions. Modular configuration files can be organized to provide a standard analysis environment.
Comply with Safety Standards
Enforce compliance with industry coding standards including MISRA C and C++, AUTOSAR, and CERT C, customize detection of individual guidelines, and easily support guideline deviations with precise diagnostic suppressions. The PC-lint Plus Reference Manual includes a detailed coding guideline support matrix and a more detailed version breakdown for MISRA C 2004, MISRA C++ 2008, MISRA C 2012 including AMD-1 and AMD-2, CERT C, and AUTOSAR.
Certified for ISO 26262 and IEC 61508
PC-lint Plus has been certified by exida® for ISO 26262:2018 (ASIL D qualified) and IEC 61508:2010 (SIL 4 qualified). Certification documents are available. Use PC-lint Plus on safety-critical projects with confidence.
Secure On-site Analysis
PC-lint Plus runs locally on your developer workstations, build servers or continuous integration servers. It does not use an internet connection and will never collect nor submit data, code, statistics, analytics, or any other information from your system over any channel.
