Page History

...

The only integer type conversions that are guaranteed to be safe for all data values and all possible conforming implementations are conversions of an integral value to a wider type of the same signedness.

The C Standard, subclause 6.3.1.3 [ISO/IEC 9899:20112024], says

When a value with integer type is converted to another integer type other than _Bool, if the value can be represented by the new type, it is unchanged.
Otherwise, if the new type is unsigned, the value is converted by repeatedly adding or subtracting one more than the maximum value that can be represented in the new type until the value is in the range of the new type.
Otherwise, the new type is signed and the value cannot be represented in it; either the result is implementation-defined or an implementation-defined signal is raised.

...

Subclause 6.2.5, paragraph 911, of the C Standard [ISO/IEC 9899:20112024] provides the necessary guarantees to ensure this solution works on a conforming implementation:

...

Conversions to signed character types are more problematic.

The C Standard, subclause 6.3.1.3, paragraph 3 [ISO/IEC 9899:20112024], says, regarding conversions

...

Furthermore, subclause 6.2.6.2, paragraph 2, says, regarding integer modifications

If the sign Each bit is one, the value shall be modified in one of the following ways:
— the corresponding value with sign bit 0 is negated (sign and magnitude)
— the sign bit has the value −(2M ) (two’s complement);
— the sign bit has the value −(2M − 1) (ones’ complement).
Which of these applies is implementation-defined, as is whether the value with sign bit 1 and all value bits zero (for the first two), or with sign bit and all value bits 1 (for ones’ complement), is a trap representation or a normal value. [See note.]

NOTE: Two's complement is shorthand for "radix complement in radix 2." Ones' complement is shorthand for "diminished radix complement in radix 2."

Consequently, the standard allows for this code to trap:

that is a value bit shall have the same value as the same bit in the object representation of the corresponding unsigned type. If the sign bit is zero, it shall not affect the resulting value. If the sign bit is one, it has value −(2N−1). There may or may not be any padding bits signed char shall not have any padding bits.

Consequently, the standard allows for this code to trap:

Code Blockcode
int i = 128; /* 1000 0000 in binary / assert(SCHAR_MAX == 127); signed char c = i; / can trap */

...

Implementations with such trap representations are thought to have existed in the past. Your author was unable to locate any documents describing such processors.

INT31-C-EX3: ISO The C Standard, section subclause 7.2729.2.45, paragraph 3 [ISO/IEC 9899:2024] says:

The time function returns the implementation’s best approximation to the current calendar time. The value (time_t)(−1-1) is returned if the calendar time is not available.

If time_t is an unsigned type, then the expression ((time_t) (-1)) is guaranteed to yield a large positive value.

...

C2850 C2851 C2852 C2853, C2855, C2856, C2857, C2858, C2890, C2891, C2892, C2893, C2895, C2896, C2897, C2898, C2900, C2901, C2902, C2903, C2905, C2906, C2907, C29082851285228532855285628572858, C++2890, C++2891, C++2892, C++2893, C++2895, C++2896, C++2897, C++2898, C++2900, C++2901, C++2902, C++2903, C++2905, C++2906, C++2907, C++2908, C++3000, C++3010PRECISIONLOSS
PRECISION.LOSS.CALL overflows

CERT C: Rule INT31-C

2850, 2851, 2852, 2853, 2855, 2856, 2857, 2858,

2890, 2891, 2892, 2893, 2895, 2896, 2897, 2898,

2900, 2901, 2902, 2903, 2905, 2906, 2907, 2908,

3000, 3010

Tool

Version

Checker

Description

Astrée

Include Page

	Astrée_V
	Astrée_V

Supported via MISRA C:2012 Rules 10.1, 10.3, 10.4, 10.6 and 10.7

CodeSonar

Include Page

	CodeSonar_V
	CodeSonar_V

LANG.CAST.PC.AV
LANG.CAST.PC.CONST2PTR
LANG.CAST.PC.INT

LANG.CAST.COERCE
LANG.CAST.VALUE

ALLOC.SIZE.TRUNC
MISC.MEM.SIZE.TRUNC

LANG.MEM.TBA

Cast: arithmetic type/void pointer
Conversion: integer constant to pointer
Conversion: pointer/integer

Coercion alters value
Cast alters value

Truncation of allocation size
Truncation of size

Tainted buffer access

Compass/ROSE

Can detect violations of this rule. However, false warnings may be raised if limits.h is included

Coverity*

Include Page

	Coverity_V
	Coverity_V

NEGATIVE_RETURNS

REVERSE_NEGATIVE

MISRA_CAST

Can find array accesses, loop bounds, and other expressions that may contain dangerous implied integer conversions that would result in unexpected behavior

Can find instances where a negativity check occurs after the negative value has been used for something else

Can find instances where an integer expression is implicitly converted to a narrower integer type, where the signedness of an integer value is implicitly converted, or where the type of a complex expression is implicitly converted

Cppcheck

Include Page

	Cppcheck_V
	Cppcheck_V

memsetValueOutOfRange

Partially implemented

The second argument to memset() cannot be represented as unsigned char

Cppcheck Premium

Include Page

	Cppcheck Premium_V
	Cppcheck Premium_V

memsetValueOutOfRange

premium-cert-int31-c

Partially implemented
The second argument to memset() cannot be represented as unsigned char

Helix QAC

Include Page

	Helix QAC_V
	Helix QAC_V

C2850,

C2855,

C2890,

C2895, C2900, C2905,

C++2850, C++

2855, C++

2890, C++

2895, C++

2900, C++

2905, C++

3000, C++

3010

DF2851, DF2852, DF2853, DF2856, DF2857, DF2858, DF2891, DF2892, DF2893, DF2896, DF2897, DF2898, DF2901, DF2902, DF2903, DF2906, DF2907, DF2908

Klocwork

Include Page

	Klocwork_V
	Klocwork_V

PORTING.CAST.

SIZE

LDRA tool suite

Include Page

	LDRA_V
	LDRA_V

93 S, 433 S, 434 S

Partially implemented

Parasoft C/C++test

Include Page

	Parasoft_V
	Parasoft_V

CERT_C-INT31-a
CERT_C-INT31-b
CERT_C-INT31-c
CERT_C-INT31-d
CERT_C-INT31-e
CERT_C-INT31-f
CERT_C-INT31-g
CERT_C-INT31-h
CERT_C-INT31-i
CERT_C-INT31-j
CERT_C-INT31-k
CERT_C-INT31-l
CERT_C-INT31-m
CERT_C-INT31-n
CERT_C-INT31-o
CERT_C-INT31-p

An expression of essentially Boolean type should always be used where an operand is interpreted as a Boolean value
An operand of essentially Boolean type should not be used where an operand is interpreted as a numeric value
An operand of essentially character type should not be used where an operand is interpreted as a numeric value
An operand of essentially enum type should not be used in an arithmetic operation
Shift and bitwise operations should not be performed on operands of essentially signed or enum type
An operand of essentially signed or enum type should not be used as the right hand operand to the bitwise shifting operator
An operand of essentially unsigned type should not be used as the operand to the unary minus operator
The value of an expression shall not be assigned to an object with a narrower essential type
The value of an expression shall not be assigned to an object of a different essential type category
Both operands of an operator in which the usual arithmetic conversions are performed shall have the same essential type category
The second and third operands of the ternary operator shall have the same essential type category
The value of a composite expression shall not be assigned to an object with wider essential type
If a composite expression is used as one operand of an operator in which the usual arithmetic conversions are performed then the other operand shall not have wider essential type
If a composite expression is used as one (second or third) operand of a conditional operator then the other operand shall not have wider essential type
Avoid data loss when converting between integer

types
Avoid value change when converting between integer types

Polyspace Bug Finder

Include Page

	Polyspace Bug Finder_V
	Polyspace Bug Finder_V

CERT C: Rule INT31-C

Checks for:

Integer conversion overflow
Call to memset with unintended value
Sign change integer conversion overflow
Tainted sign change conversion
Unsigned integer conversion overflow

Rule partially covered.

Polyspace Bug Finder

Include Page

Polyspace Bug Finder_V

Checks for:

Integer conversion overflow
Call to memset with unintended value
Sign change integer conversion overflow
Tainted sign change conversion
Unsigned integer conversion overflow

Rule partially covered.

PRQA QA-C

Include Page

PRQA QA-C_v

2850, 2851, 2852, 2853, 2855, 2856, 2857, 2858,

2890, 2891, 2892, 2893, 2895, 2896, 2897, 2898

2900, 2901, 2902, 2903, 2905, 2906, 2907, 2908

Partially implemented

PRQA QA-C++

Include Page

cplusplus:PRQA QA-C++_V cplusplus:PRQA QA-C++_V

PVS-Studio

Include Page

	PVS-Studio_V
	PVS-Studio_V

V562, V569, V642, V676, V716, V721, V724, V732, V739, V784, V793, V1019, V1029, V1046

RuleChecker

Include Page

	RuleChecker_V
	RuleChecker_V

Supported via MISRA C:2012 Rules 10.1, 10.3, 10.4, 10.6 and 10.7

TrustInSoft Analyzer

Include Page

	TrustInSoft Analyzer_V
	TrustInSoft Analyzer_V

signed_downcast

Exhaustively verified.

* Coverity Prevent cannot discover all violations of this rule, so further verification is necessary.

...

[Dowd 2006]	Chapter 6, "C Language Issues" ("Type Conversions," pp. 223–270)
[ISO/IEC 9899:20112024]	6.3.1.3, "Signed and Unsigned Integers" 6.2.5, "Types" 7.29.2.5, "The time function"
[Jones 2008]	Section 6.2.6.2, "Integer Types"
[Seacord 2013b]	Chapter 5, "Integer Security"
[Viega 2005]	Section 5.2.9, "Truncation Error" Section 5.2.10, "Sign Extension Error" Section 5.2.11, "Signed to Unsigned Conversion Error" Section 5.2.12, "Unsigned to Signed Conversion Error"
[Warren 2002]	Chapter 2, "Basics"
[xorl 2009]	"CVE-2009-1376: Pidgin MSN SLP Integer Truncation"

...

Space shortcuts

Page tree

Versions Compared

Old Version 220

New Version Current

Key