...
Tool | Version | Checker | Description | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| overflow_upon_dereference | |||||||||||
| CodeSonar |
| ALLOC.UAF | Use After Free | ||||||||||
| Helix QAC |
| DF4746, DF4747, DF4748, DF4749 | |||||||||||
| Klocwork |
| ITER.CONTAINER.MODIFIED | |||||||||||
| Parasoft C/C++test |
| CERT_CPP-CTR51-a | Do not modify container while iterating over it | ||||||||||
| Polyspace Bug Finder |
| CERT C++: CTR51-CPP | Checks for use of invalid iterator (rule partially covered). | ||||||||||
| PVS-Studio |
| PVS-Studio | 6.22 | V783 |
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...