
...
Tool | Version | Checker | Description | ||||||
---|---|---|---|---|---|---|---|---|---|
Astrée |
| user_defined | Soundly supported | ||||||
Axivion Bauhaus Suite |
| CertC-POS36 | |||||||
Compass/ROSE | Can detect some violations of this rule. In particular, it warns when calls to | ||||||||
Helix QAC |
| DF4891, DF4892, DF4893 | |||||||
Klocwork |
| SV.USAGERULES.PERMISSIONS | |||||||
Parasoft C/C++test |
| CERT_C-POS36-a | Observe correct revocation order while relinquishing privileges | ||||||
| CERT C: Rule POS36-C | Checks for bad order of dropping privileges (rule fully covered) |
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...