...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| invalid_pointer_dereference | |||||||
| Helix QAC |
| C++4706, C++4707, C++4708DF4706, DF4707, DF4708 | |||||||
| Klocwork |
| LOCRET.RET | |||||||
| Parasoft C/C++test |
| CERT_CPP-EXP61-a | Never return lambdas that capture local objects by reference | ||||||
| Polyspace Bug Finder |
| CERT C++: EXP61-CPP | Checks for situations where object escapes scope through lambda expressions (rule fully covered) | ||||||
| PVS-Studio |
| V1047 |
...