| Tool | Version | Checker | Description |
|---|
| Astrée | | stdlib-use-signal | Fully checkedSupported, 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 | | CERT_C-CON37-a | The signal handling facilities of <signal.h> shall not be used |
| RuleChecker | | Include Page |
|---|
| RuleChecker_V |
|---|
| RuleChecker_V |
|---|
|
| stdlib-use-signal | Fully checkedSupported, but no explicit checker |
| PRQA QA-C++ | | Include Page |
|---|
| cplusplus:PRQA QA-C++_V |
|---|
| cplusplus:PRQA QA-C++_V |
|---|
|
| 5022 |
|
