...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| Supported, but no explicit checker | |||||||
| Polyspace Bug Finder | R2016a | Deterministic random output from constant seed, Predictable random output from predictable seed | Seeding routine uses a constant seed making the output deterministic Seeding routine uses a predictable seed making the output predictable | ||||||
| PRQA QA-C | 9.1 | 5031 |
...