...
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 | Helix QAC | | Include Page | | Helix QAC_V | Helix QAC_V
Related Vulnerabilities
Using a predictable seed value, such as the current time, result in numerous vulnerabilities, such as the one described by CVE-2008-1637.
...