...
Tool | Version | Checker | Description |
|---|
| Astrée | | signal-handler-signal-call | Partially checkedSupported, but no explicit checker |
| Axivion Bauhaus Suite | | Include Page |
|---|
| Axivion Bauhaus Suite_V |
|---|
| Axivion Bauhaus Suite_V |
|---|
|
| CertC-SIG34 |
|
| CodeSonar | | BADFUNC.SIGNAL | Use of signal |
| Compass/ROSE |
|
| Can detect violations of this rule. However, false positives may occur on systems with persistent handlers |
| LDRA tool suite | | 97 D | Fully implemented |
| Parasoft C/C++test | | CERT_C-SIG34-a
| The signal handling facilities of <signal.h> shall not be used |
Polyspace Bug Finder | | Include Page |
|---|
| Polyspace Bug Finder_V |
|---|
| Polyspace Bug Finder_V |
|---|
|
| Signal call from within signal handler | Nonpersistent signal handler calling signal() in Windows system causes race condition |
| PRQA QA-C | | 5021 | Partially implemented |
| RuleChecker | | Include Page |
|---|
| RuleChecker_V |
|---|
| RuleChecker_V |
|---|
|
| signal-handler-signal-call | Partially checkedSupported, but no explicit checker |
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...
