 
                            ...
| Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Astrée | 
 | invalid_pointer_dereference | |||||||
| 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 | 
...