| Tool | Version | Checker | Description |
|---|
| Astrée | | stdlib-use-signal | Fully checked |
| CodeSonar | | BADFUNC.SIGNAL | Use of signal |
| Coverity | | MISRA C 2012 Rule 21.5 | Over-constraining |
| Helix QAC | | C5021 C++5022 |
|
| Klocwork | | MISRA.STDLIB.SIGNAL |
|
| 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 |
| PC-lint Plus | | Include Page |
|---|
| PC-lint Plus_V |
|---|
| PC-lint Plus_V |
|---|
|
| 586 | Fully supported |
| Polyspace Bug Finder | | Include Page |
|---|
| Polyspace Bug Finder_V |
|---|
| Polyspace Bug Finder_V |
|---|
|
| CERT C: Rule CON37-C | Checks for signal call in multithreaded program (rule fully covered) |
| RuleChecker | | Include Page |
|---|
| RuleChecker_V |
|---|
| RuleChecker_V |
|---|
|
| stdlib-use-signal | Fully checked | PRQA QA-C | | Include Page |
|---|
PRQA QA-C_v | PRQA QA-C_v | 5021 | PRQA QA-C++ | | Include Page |
|---|
cplusplus:PRQA QA-C++_V | cplusplus:PRQA QA-C++_V | 5022 |
