...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Axivion Bauhaus Suite |
| CertC-POS36 | |||||||
| Compass/ROSE | Can detect some violations of this rule. In particular, it warns when calls to | ||||||||
| Klocwork |
| SV.FIU.PROCESS_VARIANTS | |||||||
| Parasoft C/C++test |
| CERT_C-POS36-a | Observe correct revocation order while relinquishing privileges | ||||||
| Bad order of dropping privileges | Dropped higher elevated privileges before dropping lower elevated privileges |
...