...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Compass/ROSE | |||||||||
| 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 Environment pointer invalidated by previous operation Call to setenv or putenv family function modifies environment pointed to by pointer(rule fully covered) | |||||||
| PRQA QA-C |
| 4991, 4992, 4993 |
...