Tool | Version | Checker | Description |
---|
Astrée | | macro-final-semicolon | Fully checked |
Axivion Bauhaus Suite | Include Page |
---|
| Axivion Bauhaus Suite_V |
---|
| Axivion Bauhaus Suite_V |
---|
|
| CertC-PRE11 |
|
CodeSonar | | LANG.PREPROC.MACROEND | Macro Does Not End With ) or } |
LDRA tool suite | | 79 S | Enhanced Enforcement |
PC-lint Plus | Include Page |
---|
| PC-lint Plus_V |
---|
| PC-lint Plus_V |
---|
|
| 823 | Fully supported |
Polyspace Bug Finder | Include Page |
---|
| Polyspace Bug Finder_V |
---|
| Polyspace Bug Finder_V |
---|
|
| CERT C: Rec. PRE11-C | Checks for macros terminated with semicolons (rule fully covered) |
PRQA QA-C | | 3412 | Partially implemented |
RuleChecker | Include Page |
---|
| RuleChecker_V |
---|
| RuleChecker_V |
---|
|
| macro-final-semicolon | Fully checked |