...
Tool | Version | Checker | Description |
---|
Astrée | | signal-handler-signal-call | Partially checked |
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 |
Helix QAC | |
|
|
LDRA tool suite | | 97 D | Fully implemented |
Parasoft C/C++test | | CERT_C-SIG34-a
| Properly define signal handlers |
PC-lint Plus | Include Page |
---|
| PC-lint Plus_V |
---|
| PC-lint Plus_V |
---|
|
| 2762, 2763 | Fully supported |
Polyspace Bug Finder | Include Page |
---|
| Polyspace Bug Finder_V |
---|
| Polyspace Bug Finder_V |
---|
|
| CERT C: Rule SIG34-C | Checks for signal call from within signal handler (rule partially covered) |
PRQA QA-C | | 5021 | Partially implemented |
PRQA QA-C++ | Include Page |
---|
| cplusplus:PRQA QA-C++_V |
---|
| cplusplus:PRQA QA-C++_V |
---|
|
| 5022 |
|
RuleChecker | Include Page |
---|
| RuleChecker_V |
---|
| RuleChecker_V |
---|
|
| signal-handler-signal-call | Partially checked | Helix QAC | Include Page |
---|
| Helix QAC_V | Helix QAC_V
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...