...
Tool | Version | Checker | Description | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| main-function-catch-all early-catch-all | Partially checked | ||||||||||
| Axivion Bauhaus Suite |
| CertC++-ERR51 | |||||||||||
| Helix QAC |
| ||||||||||||
| LDRA tool suite |
| 527 S | Partially implemented | ||||||||||
| Parasoft C/C++test |
| CERT_CPP-ERR51-a | Always catch exceptions | ||||||||||
| Polyspace Bug Finder |
| CERT C++: ERR51-CPP | Checks for unhandled exceptions (rule partially covered) | ||||||||||
| PRQA QA-C++ |
| 4035, 4036, 4037 | |||||||||||
| RuleChecker |
| main-function-catch-all early-catch-all | Partially checked | Helix QAC | | Include Page | | Helix QAC_V | Helix QAC_V
Related Vulnerabilities
Search for other vulnerabilities resulting from the violation of this rule on the CERT website.
...