C++ static code analysis
-
Bug
-
Code Smell
-
Correctness
Null pointers should not be dereferenced
-
Bug
-
Major
-
-
Memory management
Dynamically allocated memory should be released
-
Bug
-
Blocker
-
-
Correctness
All code should be reachable
-
Bug
-
Major
-
-
Identical expressions should not be used on both sides of a binary operator
-
Bug
-
Major
-
-
All branches in a conditional structure should not have exactly the same implementation
-
Bug
-
Major
-
-
Memory management
Freed memory should not be used
-
Bug
-
Blocker
-
Advanced static analysis with hundreds of valuable rules
Unique rules find Bugs, Vulnerabilities, Security Hotspots, and Code Smells in your C++ code using
Symbolic execution
Path-sensitive analysis
Cross-function, cross-file analysis
Any project format, any build system
We gather the information required for analysis by unobtrusively monitoring your build. Our Build Wrapper gathers all the configuration required for correct analysis of your C++ projects without impacting your build, so analysis is compatible with make, xcodebuild, MSBuild, and any other tool that performs a full build
Faster analysis
Analyzing a large project can be cumbersome. We give you the tools to speed it up.
Incremental analysis
Incremental analysis lets you cache the results of analysis so subsequent analyses can check only what changed in the new build.
Multi-threaded analysis
Most machines are multi-core, and analysis can be too. Configure how many threads your analysis uses to make the most of your infrastructure.
See the benefits for yourself!
-
4:03min
A sample of available Maintainability rules
-
7:25min
Reliability rules
-
11:10min
Security rules
-
16:04min
Demos: How it fits into your dev workflow
-
25:13min
How it fits into your toolchain
-
27:39min
Pricing, summary and questions
We support
SonarQube analysis integrates seamlessly into your environment.
Your build
We support the common operating systems and most popular compilers
Windows, Linux, macOS
Clang, GCC, MSVC, ARM, QNX compilers
Intel compilers for Linux, macOS
Compilers based wholly on GCC including Linaro GCC
Wind River Diab and GCC
IAR compilers for 8051, ARM, AVR32, AVR, Renesas RL78, Renesas RX, Renesas V850, Renesas H8, and Texas Instruments MSP430
Texas Instruments compilers on Windows and macOS for ARM, C2000, C6000, C7000, MSP430, PRU
Your standards
We provide hundreds of rules that target the following standards:
Classical and modern C++: C++98, C++03, C++ 11, C++14, C++17
C++ Core Guidelines
MISRA C++ 2008
