
...
Tool | Version | Checker | Description | |||||||
---|---|---|---|---|---|---|---|---|---|---|
Astrée |
| signal-handler-signal-call | Partially checked | |||||||
Axivion Bauhaus Suite |
| CertC-SIG34 | ||||||||
CodeSonar |
| BADFUNC.SIGNAL | Use of signal | |||||||
Compass/ROSE | Can detect violations of this rule. However, false positives may occur on systems with persistent handlers | |||||||||
Cppcheck Premium |
| premium-cert-sig34-c | Fully implemented | |||||||
Helix QAC |
| C5021 C++5022 | ||||||||
Klocwork |
| MISRA.STDLIB.SIGNAL | ||||||||
LDRA tool suite |
| 97 D | Fully implemented | |||||||
Parasoft C/C++test |
| CERT_C-SIG34-a | Properly define signal handlers | |||||||
PC-lint Plus |
| 2762, 2763 | Fully supported | |||||||
| CERT C: Rule SIG34-C | Checks for signal call from within signal handler (rule partially covered) | ||||||||
RuleChecker |
| signal-handler-signal-call | Partially checked |
...