Page History

...

Tool

Version

Checker

Description

Include Page

	Astrée_V
	Astrée_V

char-sign-conversion

Fully checked

Axivion Bauhaus Suite

Include Page

	Axivion Bauhaus Suite_V
	Axivion Bauhaus Suite_V

CertC-STR34

Fully implemented

CodeSonar

Include Page

	CodeSonar_V
	CodeSonar_V

MISC.NEGCHAR

Negative Character Value

Compass/ROSE

Can detect violations of this rule when checking for violations of INT07-C. Use only explicitly signed or unsigned char type for numeric values

Coverity

Include Page

	Coverity_V
	Coverity_V

MISRA C 2012 Rule 10.1

MISRA C 2012 Rule 10.2

MISRA C 2012 Rule 10.3

MISRA C 2012 Rule 10.4

Implemented

Essential type checkers

ECLAIR

Include Page

	ECLAIR_V
	ECLAIR_V

CC2.STR34

Fully implemented

GCC

2.95 and later

-Wchar-subscripts

Detects objects of type char used as array indices

LDRA tool suite

Include Page

	LDRA_V
	LDRA_V

434 S

Partially implemented

Parasoft C/C++test

Include Page

	Parasoft_V
	Parasoft_V

CERT_C-STR34-a
CERT_C-STR34-b
CERT_C-STR34-c
CERT_C-STR34-d
CERT_C-STR34-e
CERT_C-STR34-f

There shall be no implicit conversions from integral to floating type
Cast characters to unsigned char before assignment to larger integer sizes
An expressions of the 'signed char' type should not be used as an array index
Cast characters to unsigned char before converting to larger integer sizes
Avoid implicit conversions from floating to integral type
A cast should not be performed between a pointer to object type and a different pointer to object type

Polyspace Bug Finder

Include Page