...
Tool | Version | Checker | Description | |||||||
|---|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| invalidated-system-pointer-use | Partially checked + soundly supported Supported | |||||||
| Compass/ROSE | ||||||||||
| Cppcheck Premium | 24.9.0 | premium-cert-env31-c | ||||||||
| 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) | ||||||||
| RuleChecker |
| invalidated-system-pointer-use | Partially checked |
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...