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 |
| 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 |
