...
Tool | Version | Checker | Description | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| user_defined | Soundly supported | ||||||||||
| Axivion Bauhaus Suite |
| CertC-POS37 | |||||||||||
| Helix QAC |
| DF4876, DF4877, DF4878 | |||||||||||
| Klocwork |
| SV.FIU.PROCESS_VARIANTS | |||||||||||
| Parasoft C/C++test |
| SECURITY-44 | CERT_C-POS37-a | Ensure that privilege relinquishment is successful | |||||||||
| CERT C: Rule POS37-C | Checks for priviledge drop not verified (rule fully covered) | Implemented
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...