...
Tool | Version | Checker | Description | ||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| Supported | |||||||||||||||||
| Compass/ROSE | |||||||||||||||||||
| 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) | PRQA QA-C | ||||||||||||||||
| Include Page | PRQA QA-C_v | PRQA QA-C_v | 4991, 4992, 4993 | PRQA QA-C++ | |||||||||||||||
| Include Page | cplusplus:PRQA QA-C++_V | cplusplus:PRQA QA-C++_V | 4991, 4992, 4993 |
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...