...
| 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 | 9.5 | MISRA2012-RULE-21_5_b | Use of signal | ||||||
| RuleChecker |
| Supported, but no explicit checker | |||||||
| PRQA QA-C++ |
| 5022 |
Bibliography
| [IEEE Std 1003.1-2013] | XSH 2.9.1, "Thread Safety" |
...