Tool | Version | Checker | Description |
|---|
| Astrée | |
| Supported, but no explicit checker |
| Axivion Bauhaus Suite | | Include Page |
|---|
| Axivion Bauhaus Suite_V |
|---|
| Axivion Bauhaus Suite_V |
|---|
|
| CertC-MSC33 |
|
| LDRA tool suite | | 44 S | Enhanced Enforcement |
| Parasoft C/C++test | | CERT_C-MSC33-a | Avoid functions which use time from standard C library |
| PC-lint Plus | | Include Page |
|---|
| PC-lint Plus_V |
|---|
| PC-lint Plus_V |
|---|
|
| 586 | Fully supported |
| Polyspace Bug Finder | | Include Page |
|---|
| Polyspace Bug Finder_V |
|---|
| Polyspace Bug Finder_V |
|---|
|
| CERT C: Rule MSC33-C | Checks for use of obsolete standard function (rule fully covered)
|
| PRQA QA-C | | 5032 |
|
| PRQA QA-C++ | | Include Page |
|---|
| cplusplus:PRQA QA-C++_V |
|---|
| cplusplus:PRQA QA-C++_V |
|---|
|
| 5030 |
|
| RuleChecker | | Include Page |
|---|
| RuleChecker_V |
|---|
| RuleChecker_V |
|---|
|
|
| Supported, but no explicit checker |
