...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| LDRA tool suite |
| 94 S, 554 S | Partially implemented | ||||||
| Parasoft C/C++test |
| MISRA2004-10_1_b, MISRA2004-10_2_1, MISRA2004-11_4, BD-PB-OVERFARRAY, BD-SECURITY-OVERFMT, BD-SECURITY-OVERFRD, BD-SECURITY-OVERFWR | |||||||
| Polyspace Bug Finder | R2016a | Pointer access out of bounds | Pointer dereferenced outside its bounds | ||||||
| PRQA QA-C |
| 0310 | Partially implemented | ||||||
| PRQA QA-C++ | 4.1 | 3017, 3030, 3033 | |||||||
| PVS-Studio6.22 |
| V580 |
Related Vulnerabilities
...