...
Tool | Version | Checker | Description | ||||||
---|---|---|---|---|---|---|---|---|---|
LDRA tool suite |
| 94 S, 554 S | Partially implemented | ||||||
Polyspace Bug Finder | R2016a | Pointer access out of bounds | Pointer dereferenced outside its bounds | ||||||
PRQA QA-C |
| 0310 | Partially implemented | ||||||
PRQA PRQA QA-C++ | 4.1 | 3017, 3030, 3033 |
Related Vulnerabilities
...