can detect violations of this recommendation with the CERT C Rule Pack
Section
Splint
Include Page
c:Splint_V
c:Splint_V
Section
Compass/ROSE
Section
can detect violations of this recommendation. In particular, it flags any instance of a variable of type char (without a signed or unsigned qualifier) that appears in an arithmetic expression