...
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
Automated Detection
| Tool | Version | Checker | Description |
|---|
| Astrée | | Supported, but no explicit checkerstdlib-use-signal | Fully checked |
| CodeSonar | | BADFUNC.SIGNAL | Use of signal |
| Coverity | | MISRA C 2012 Rule 21.5 | Over-constraining |
| Cppcheck Premium | | Include Page |
|---|
| Cppcheck Premium_V |
|---|
| Cppcheck Premium_V |
|---|
|
| premium-cert-con37-c | Fully implemented |
| Helix QAC | | C5021 C++5022 |
|
| Klocwork | | MISRA.STDLIB.SIGNAL |
|
| LDRA tool suite | | 44 S | Enhanced enforcement |
| Parasoft C/C++test | | MISRA2004-20_8_b
| Use of signal | RuleChecker | | Include Page |
|---|
RuleChecker_V | RuleChecker_V | Supported, but no explicit checker | PRQA QA-C++ | | Include Page |
|---|
cplusplus:PRQA QA-C++_V | cplusplus:PRQA QA-C++_V | 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 | 5022 |
Bibliography
...
