...
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 |
| V783 | Helix QAC | Include Page | | Helix QAC_V | Helix QAC_V
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...