...
Tool | Version | Checker | Description | ||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| Axivion Bauhaus Suite |
| CertC-ENV32 | |||||||||
| CodeSonar |
| BADFUNC.ABORT | Use of abort | ||||||||
| Compass/ROSE | Can detect violations of this rule. In particular, it ensures that all functions registered with | ||||||||||
| Helix QAC |
| C4856, C4857, C4858 C++4856, C++4857, C++4858 | |||||||||
| |||||||||||
| LDRA tool suite |
| 122 S 7 S | Enhanced enforcement | ||||||||
| Parasoft C/C++test |
| CERT_C-ENV32-a | Properly define exit handlers | ||||||||
| CERT C: Rule ENV32-C | Checks for abnormal termination of exit handler (rule fully covered) |
...