Tool | Version | Checker | Description |
|---|
| Astrée | | stdlib-use-rand | Fully checked |
| Axivion Bauhaus Suite | | Include Page |
|---|
| Axivion Bauhaus Suite_V |
|---|
| Axivion Bauhaus Suite_V |
|---|
|
| CertC-MSC30 |
|
| Clang | | cert-msc30-c | Checked by clang-tidy |
| CodeSonar | | BADFUNC.RANDOM.RAND | Use of rand |
| Compass/ROSE |
|
|
|
| Coverity | | DONTCALL | Implemented - weak support |
ECLAIR | | CC2.MSC30
| Fully implemented |
| LDRA tool suite | | 44 S | Enhanced enforcement |
| Parasoft C/C++test | | CERT_C-MSC30-a | Do not use the rand() function for generating pseudorandom numbers |
| 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 MSC30-C | Checks for vulnerable pseudo-random number generator (rule fully covered)
|
| PRQA QA-C | | 5022 | Fully implemented |
| PRQA QA-C++ | | Include Page |
|---|
| cplusplus:PRQA QA-C++_V |
|---|
| cplusplus:PRQA QA-C++_V |
|---|
|
| 5029 |
|
| RuleChecker | | Include Page |
|---|
| RuleChecker_V |
|---|
| RuleChecker_V |
|---|
|
| stdlib-use-rand | Fully checked |
