...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| overflow_upon_dereference | |||||||
| Helix QAC |
| C++4746, C++4747, C++4748, C++4749 | |||||||
| Klocwork |
| ITER.CONTAINER.MODIFIED | |||||||
| Parasoft C/C++test |
| CERT_CPP-CTR51-a | Do not modify container while iterating over it | ||||||
| PVS-Studio |
| V783 |
...