 
                            ...
| Tool | Version | Checker | Description | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Astrée | 
 | chained-errno-function-calls errno-test-after-wrong-call | Supported | ||||||||||||
| 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 | ||||||||||||
| Cppcheck Premium | 
 | premium-cert-err32-c | |||||||||||||
| Helix QAC | 
 | C2031 DF4781, DF4782, DF4783 | |||||||||||||
| Klocwork | 
 | MISRA.INCL.SIGNAL.2012 | |||||||||||||
| LDRA tool suite | 
 | 44 S | Enhanced enforcement | ||||||||||||
| Parasoft C/C++test | 
 | CERT_C-ERR32-b | Properly define signal handlers | ||||||||||||
| 
 | CERT C: Rule ERR32-C | Checks for misuse of errno in a signal handler (rule fully covered) | RuleChecker | ||||||||||||
| Include Page | RuleChecker_V | RuleChecker_V | chained-errno-function-calls errno-test-after-wrong-call | Supported | |||||||||||
| Security Reviewer - Static Reviewer | 
 | C34 | Fully implemented | 
...