...
Tool | Version | Checker | Description | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| default-construction | Partially checked | ||||||||||
| Axivion Bauhaus Suite |
| CertC++-MSC51 | |||||||||||
| Helix QAC |
| ||||||||||||
| 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.
...