...
| Tool | Version | Checker | Description | |||||||
|---|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| Supported, but no explicit checker | ||||||||
| CodeSonar |
| BADFUNC.SIGNAL | Use of signal | |||||||
| Coverity |
| MISRA C 2012 Rule 21.5 | Over-constraining | |||||||
| LDRA tool suite |
| 44 S | Enhanced enforcement | |||||||
| Parasoft C/C++test |
| MISRA2004-20_8_b | CERT_C-CON37-a | The signal handling facilities of <signal.h> shall not be usedUse of signal | ||||||
| RuleChecker |
| Supported, but no explicit checker | ||||||||
| PRQA QA-C++ |
| 5022 |
...