DCL11-A. Understand the type issues associated with variadic functions

The macros associated with the utilization of variadic functions implicitly use the parameterized type to determine how many bytes should be pulled for the argument. If the the type is inconsistent with how it is used, misinterpreted data or an alignment error (see EXP36-C. Do not cast to between pointers between objects or types with differing alignments) could result.

For example, some C99 functions, such as printf(), are implemented as a variadic functions, if care is not taken to ensure that the conversion specifiers to these do not match up with the type of the intended parameter, the result may be abnormal program termination due to alignment errors.

Non-Compliant Code Example

The following non-compliant code swaps its null terminated byte string and integer parameters with respect to how they were specified in the format string. This means that the integer will be silently casted into a pointer to a null terminated byte string and then dereferenced, possibly causing the program to abnormally terminate (error_message pointer will likewise be silently converted into an integer).

char const *error_msg = "Error occurred";
/* ... */
printf("%s:%d", 15, error_message);

Compliant Solution

This compliant solution is formatted so that the specifiers are consistent with their parameters.

char const *error_msg = "Error occurred";
/* ... */
printf("%d:%s", 15, error_message);

Risk Assessment

Inconsistent typing in variadic functions can result in abnormal program termination or unintended information disclosure.

References

[[ISO/IEC 9899-1999:TC2]] Section 7.15, "Variable arguments"