...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Helix QAC |
| C++3526, C++3527, C++3528, C++3529, C++3530, C++3531, C++3532, C++3533, C++3534DF3526, DF3527, DF3528, DF3529, DF3530, DF3531, DF3532, DF3533, DF3534 | |||||||
| LDRA tool suite |
| 567 S | Enhanced Enforcement | ||||||
| Parasoft C/C++test |
| CERT_CPP-CTR55-a | Do not add or subtract a constant with a value greater than one from an iterator | ||||||
| Polyspace Bug Finder |
| CERT C++: CTR55-CPP | Checks for possible iterator overflows (rule partially covered). |
...