...
Tool | Version | Checker | Description | ||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| Supported, but no explicit checker | |||||||||
| Polyspace Bug Finder |
| Seeding routine uses a constant seed making the output deterministic Seeding routine uses a predictable seed making the output predictable | |||||||||
| Parasoft C/C++test |
| SECURITY-02, SECURITY-02_b, SECURITY-28, BD-SECURITY-RAND | Implemented | ||||||||
| PRQA QA-C | 9.1 | 5031 |
...