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