...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| default-construction | Partially checked | ||||||
| Axivion Bauhaus Suite |
| CertC++-MSC51 | |||||||
| CodeSonar |
| HARDCODED.SEED | Hardcoded Seed in PRNG | ||||||
| Helix QAC |
| C++5041 | |||||||
| Klocwork |
| AUTOSAR.STDLIB.RANDOM.NBR_GEN_DEFAULT_INIT | |||||||
| Polyspace Bug Finder |
| CERT C++: MSC51-CPP | Checks for:
Rule partially covered. | ||||||
| Parasoft C/C++test |
| CERT_CPP-MSC51-a | Properly seed pseudorandom number generators | ||||||
| PVS-Studio |
| V1057 | |||||||
| RuleChecker |
| default-construction | Partially checked |
...