...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| overflow_upon_dereference | |||||||
| CodeSonar |
| ALLOC.UAF | Use After Free | ||||||
| Helix QAC |
| DF4746, DF4747, DF4748, DF4749 | |||||||
| Klocwork |
| ITER.CONTAINER.MODIFIEDC++4746, C++4747, C++4748, C++4749 | |||||||
| 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 |
...