Tool | Version | Checker | Description |
---|
Compass/ROSE | | | Can detect some violations of this rule. In particular, it ensures that all calls to open() supply exactly two arguments if the second argument does not involve O_CREAT , and exactly three arguments if the second argument does involve O_CREAT |
ECLAIR | | CC2.EXP37
| Partially implemented |
EDG | | | |
Fortify SCA | 5.0 | | |
GCC | | | Can detect violation of this rule when the -Wstrict-prototypes flag is used. However, it cannot detect violations involving variadic functions, such as the open() example described earlier |
LDRA tool suite | | 41 D , 21 S, 98 S , 170 S , 496 S , 576 S | Partially implemented |
PRQA QA-C | | 1331, 1332, 1333, 3002, 3320, 3335 | Partially implemented |