...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Axivion Bauhaus Suite |
| CertC-ERR32 | |||||||
| Compass/ROSE | Could detect violations of this rule by looking for signal handlers that themselves call | ||||||||
| Coverity |
| MISRA C 2012 Rule 22.8 MISRA C 2012 Rule 22.9 MISRA C 2012 Rule 22.10 | Implemented | ||||||
| Helix QAC |
| C2031, C4781, C4782, C4783 C++4781, C++4782, C++4783 | |||||||
| Klocwork |
| MISRA.INCL.SIGNAL.2012 | |||||||
| LDRA tool suite |
| 44 S | Enhanced enforcement | ||||||
| Parasoft C/C++test |
| CERT_C-ERR32-a | Properly use errno value | ||||||
| CERT C: Rule ERR32-C | Checks for misuse of errno in a signal handler (rule fully covered) | |||||||
| PRQA QA-C |
| 2031 |
...