...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| Supported | |||||||
| Compass/ROSE | |||||||||
| Cppcheck Premium | 24.9.0 | premium-cert-env31-c | Fully implemented | ||||||
| Helix QAC |
| DF4991, DF4992, DF4993 | |||||||
| LDRA tool suite |
| 118 S | Fully Implemented | ||||||
| Parasoft C/C++test |
| CERT_C-ENV31-a | Do not rely on an environment pointer following an operation that may invalidate it | ||||||
| CERT C: Rule ENV31-C | Checks for environment pointer invalidated by previous operation (rule fully covered) |
...