Tool | Version | Checker | Description |
|---|
| Astrée | | bad-function (AUTOSAR.26.5.1A)
| Fully checked |
| Axivion Bauhaus Suite | | Include Page |
|---|
| Axivion Bauhaus Suite_V |
|---|
| Axivion Bauhaus Suite_V |
|---|
|
| CertC++-MSC50 |
|
| Clang | | cert-msc50-cpp | Checked by clang-tidy |
| CodeSonar | | BADFUNC.RANDOM.RAND | Use of rand |
| Compass/ROSE |
|
|
|
ECLAIR | | CC2.MSC30 | Fully implemented |
| Helix QAC | | C++5028 |
|
| Klocwork | | CERT.MSC.STD_RAND_CALL |
|
| LDRA tool suite | | 44 S
| Enhanced Enforcement |
| Parasoft C/C++test | | CERT_CPP-MSC50-a
| Do not use the rand() function for generating pseudorandom numbers |
| Polyspace Bug Finder | | Include Page |
|---|
| Polyspace Bug Finder_V |
|---|
| Polyspace Bug Finder_V |
|---|
|
| CERT C++: MSC50-CPP | Checks for use of vulnerable pseudo-random number generator (rule partially covered) |
| RuleChecker | | Include Page |
|---|
| RuleChecker_V |
|---|
| RuleChecker_V |
|---|
|
| bad-function (AUTOSAR.26.5.1A)
| Fully checked |
| Security Reviewer - Static Reviewer | | Include Page |
|---|
| Security Reviewer - Static Reviewer_V |
|---|
| Security Reviewer - Static Reviewer_V |
|---|
|
| RTOS_07 | Fully implemented |