...
Compass/ROSE can detect some violations of this rule. In particular, it ensures that all calls to open() supply exactly two arguments if the first second argument does not involve O_CREAT, and exactly three arguments if the first second argument does involve O_CREAT.
...