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
| The signal handling facilities of <signal.h> shall not be used |
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 fully covered) |
| PRQA QA-C | | 5021 | Partially implemented |
| PRQA QA-C++ | | Include Page |
|---|
| PRQA QA-C++_V |
|---|
| PRQA QA-C++_V |
|---|
|
| 5022 |
|
| RuleChecker | | Include Page |
|---|
| RuleChecker_V |
|---|
| RuleChecker_V |
|---|
|
| signal-handler-signal-call | Partially checked |
