Page History

...

Tool

Version

Checker

Description

Include Page

	Astrée_V
	Astrée_V

Supported, but no explicit checker

CodeSonar

Include Page

	CodeSonar_V
	CodeSonar_V

LANG.TYPE.IOT

Inappropriate operand type

Compass/ROSE

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

ECLAIR

Include Page

	ECLAIR_V
	ECLAIR_V

CC2.INT07

Fully implemented

Klocwork

Include Page

	Klocwork_V
	Klocwork_V

PORTING.SIGNED.CHAR

LDRA tool suite

Include Page

	LDRA_V
	LDRA_V

93 S, 96 S, 101 S, 329 S, 432 S, 458 S

Fully implemented

Parasoft C/C++test

Include Page

	Parasoft_V
	Parasoft_V

CERT_C-INT07-a
CERT_C-INT07-b

The plain char type shall be used only for the storage and use of character values
signed and unsigned char type shall be used only for the storage and use of numeric values

Polyspace Bug Finder

R2016b

Include Page