The process of parsing an integer or floating-point number from a string can produce many errors. The string might not contain a number. It might contain a number of the correct type that is out of range (such as an integer that is larger than
INT_MAX). The string may also contain extra information after the number, which may or may not be useful after the conversion. These error conditions must be detected and addressed when a string-to-number conversion is performed using a formatted input stream such as
std::istream or the locale facet
When calling a formatted input stream function like
istream::operator>>(), information about conversion errors is queried through the
basic_ios::fail() inherited member functions or through exception handling if it is enabled on the stream object.
num_get<>::get(), information about conversion errors is returned to the caller through the
ios_base::iostate& argument. The C++ Standard, section [facet.num.get.virtuals], paragraph 3 [ISO/IEC 14882-2014], in part, states the following:
If the conversion function fails to convert the entire field, or if the field represents a value outside the range of representable values,
ios_base::failbitis assigned to
Always explicitly check the error state of a conversion from string to a numeric value (or handle the related exception, if applicable) instead of assuming the conversion results in a valid value. This rule is in addition to ERR34-C. Detect errors when converting a string to a number, which bans the use of conversion functions that do not perform conversion validation such as
std::scanf() from the C Standard Library.
Noncompliant Code Example
In this noncompliant code example, multiple numeric values are converted from the standard input stream. However, if the text received from the standard input stream cannot be converted into a numeric value that can be represented by an
int, the resulting value stored into the variables
j may be unexpected.
For instance, if the text
12345678901234567890 is the first converted value read from the standard input stream, then
i will have the value
std::numeric_limits<int>::max() (per [facet.num.get.virtuals] paragraph 3), and
j will be uninitialized (per [istream.formatted.arithmetic] paragraph 3). If the text
abcdefg is the first converted value read from the standard input stream, then
i will have the value
j will remain uninitialized.
In this compliant solution, exceptions are enabled so that any conversion failure results in an exception being thrown. However, this approach cannot distinguish between which values are valid and which values are invalid and must assume that all values are invalid. Both the
failbit flags are set to ensure that conversion errors as well as loss of integrity with the stream are treated as exceptions.
In this compliant solution, each converted value read from the standard input stream is tested for validity before reading the next value in the sequence, allowing error recovery on a per-value basis. It checks
std::istream::fail() to see if the failure bit was set due to a conversion failure or whether the bad bit was set due to a loss of integrity with the stream object. If a failure condition is encountered, it is cleared on the input stream and then characters are read and discarded until a
' ' (space) character occurs. The error handling in this case only works if a space character is what delimits the two numeric values to be converted.
It is rare for a violation of this rule to result in a security vulnerability unless it occurs in security-sensitive code. However, violations of this rule can easily result in lost or misinterpreted data.
|Axivion Bauhaus Suite|
|Checked by |
Use of atof
|CERT_CPP-ERR62-a||The library functions atof, atoi and atol from library stdlib.h shall not be used|
|Polyspace Bug Finder|
|CERT C++: ERR62-CPP||Checks for unvalidated string-to-number conversion (rule fully covered)|
|SEI CERT C Coding Standard|
|MITRE CWE||CWE-676, Use of potentially dangerous function|
CWE-20, Insufficient input validation
|[ISO/IEC 9899:1999]||Subclause 7.22.1, "Numeric conversion functions"|
Subclause 7.21.6, "Formatted input/output functions"
Subclause 220.127.116.11.1, "num_get members"