...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| LDRA tool suite |
| 56 D | Partially implemented | ||||||
| Parasoft C/C++Test | 9.5 | MISRA2008-15_5_2, EXCEPT-14 |
...
| SEI CERT C++ Coding Standard | ERR50-CPP. Do not call std::terminate(), std::abort(), std::quick_exit(), or std::_Exit() |
Bibliography
...