Tool | Version | Checker | Description |
|---|
| Astrée | |
| Supported, but no explicit checker |
| 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 | | MISRA2004-20_8_b | Implemented |
Polyspace Bug Finder R2017b | | 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 |
|---|
|
|
| Supported, but no explicit checker |
