| 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 | |
|
|
| 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 | | 5021 |
|
| PRQA QA-C++ | | Include Page |
|---|
| cplusplus:PRQA QA-C++_V |
|---|
| cplusplus:PRQA QA-C++_V |
|---|
|
| 5022 | Helix QAC | | Include Page |
|---|
| Helix QAC_V | Helix QAC_V
|
