...
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 | 6.22 | V783 |
| V783General analysis rule |
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...