Programming in C and C++

10. Undefined Behaviour and Optimisations

Dr. Neel Krishnaswami

University of Cambridge
(based on notes from and with thanks to Anil Madhavapeddy, Alan Mycroft,
Alastair Beresford and Andrew Moore)

Michaelmas Term 2016-2017

C is Portable Assembly

C is the most widely deployed language in the world:

I Unix was originally written in assembly, and C was created as a thin
layer to avoid rewriting all of it for every new CPU.
I C now compiles to almost every CPU architecture ever made!
I Statements typically map to a small set of machine instructions.
I Numerous language extensions exist to expose hardware features. For
example, to add two numbers in x86 assembly with GNU GCC:
1 int foo = 10, bar = 15;
2 __asm__ __volatile__("addl %%ebx,%%eax"
3 :"=a"(foo)
4 :"a"(foo), "b"(bar)
5 );
6 printf("foo+bar=%d\n", foo);

2 / 27
The Optimisation Tradeoff

There is a tension between:

I The programmer being able to predict performance of a block of code.
I The compiler generating fast machine code for specific hardware.
I The language remaining portable on present and future architectures.
I Revisions to C must remain backwards compatible with existing code.

Balance is achieved via an ongoing language specification process:

I Originally a book by Ritchie and Kernighan in 1978 (“K&R C”).
I Replaced by an ANSI standard in 1989 (“ANSI C” or “C89”).
I Revised by ISO with features like IEEE 754 floating point (“C99”)
I Most recent standard in 2011 has a detailed memory model (“C11”).

3 / 27
The C Abstract Machine

The C standard defines these broad concepts:

I The semantic descriptions of language features describe the behavior
of an abstract machine in which issues of optimization are irrelevant.
I Defines side effects as accessing a volatile object, modifying an
object or file, or calling a function that does any of those operations.
I Side effects change the state of the execution environment and are
produced by expression evaluation.
I Certain points in the control flow are sequence points at which point
all side effects which have been seen so far are guaranteed to be
complete.

4 / 27
Examples of Sequence Points in C

I Between the left and right operands of the && or || operators.

1 // Side effects on p happen before those on q
2 *p++ != 0 && *q++ != 0

I Between the evaluation of the first operand on the ternary (question

mark) operator and the second and third operands.
1 // p incremented when the second instance is evaluated
2 a = (*p++) ? (*p++) : 0

I At the end of a full expression; e.g. return statements, control flow

from if, switch, while or do/while, and all three expressions in a
for statement.

5 / 27
Examples of Sequence Points in C (cont.)

Function calls have several sequence points:

I Before a function call is entered.
f(i++)
// f() is called with the original value of i
// but i is incremented before entering the body of f()
I The order in which arguments are evaluated is not specified.
f(i++) + g(j++) + h(k++)
I f(), g(), h() may be executed in any order.
I i, j, k may be incremented in any order.

I Always obeying the previous rule, i is incremented before f() is

entered, as is j for g() and k for h() respectively.

f(i++, j++) + h(k++)
I i and j may be incremented in any order, but both will be incremented

before f() is entered.

6 / 27
Execution of the Abstract Machine

I In the abstract machine, all expressions are evaluated as specified by

the language semantics in the standard.
I An implementation need not evaluate part of an expression if it can
deduce that:
I its value is not used
I no needed side effects are produced
I includes any caused by function calls or accessing a volatile object
I If an asynchronous signal is received, only the values of objects from
the previous sequence point can be relied on.

7 / 27
Freedom to Optimize
Outside of the abstract machine, the C standard leaves plenty of room for
compilers to optimize source code to take advantage of specific hardware.

The standard defines three types of compiler freedom:

I implementation-defined behaviour means that the compiler must
choose and document a behaviour and obey it consistently.
I unspecified behaviour means that from a given set of possibilities, the
compiler chooses one (or different ones within the same program).
I undefined behaviour results in arbitrary behaviour from the compiler.

“When the compiler encounters [a given undefined construct] it

is legal for it to make demons fly out of your nose”
– comp.std.c newsgroup, circa 1992

8 / 27
Implementation-defined Behaviour
These are typically set depending on the target hardware architecture and
operating system’s Application Binary Interface (ABI).
Examples of implementation-defined behaviour include:
I Number of bits in a byte (minimum of 8 and exactly 8 in every
modern system, but the PDP-10 had 36 bits per byte!)
I sizeof(int) which is commonly 32- or 64-bit
I char a = (char)123456;
I Results of some bitwise operations on signed integers
I Result of converting a pointer to an integer or vice versa
Compiler warnings help spot accidental dependency on this behaviour:
1 test.c:3:13: warning: shift count >= width of type
2 [-Wshift-count-overflow]
3 int x = a >> 64;

9 / 27
Unspecified Behaviour

The compiler can vary these within the same program to maximise
effectiveness of its optimisations. For example:
I Evaluation order of arguments in a function call.
I The order in which side effects take place when not otherwise
explicitly specified by the standard.
I Whether a call to an inline function uses the inline or external
definition.
I The memory layout of storage for function arguments.
I The order and contiguity of storage allocated by successive calls to
the malloc, calloc or realloc functions

10 / 27
Undefined Behaviour
There is a long list of undefined behaviours in the C standard (J.2). Some
examples include:
I Between two sequence points, an object is modified more than once,
or is modified and the prior value is read other than to determine the
value to be stored
int i = 0;
f(i++, i++); // what arguments will f be called with?
I Conversion of a pointer to an integer type produces a value outside
the range that can be represented
char *p = malloc(10);
short x = (short)p; // if address space larger than short?
I The initial character of an identifier is a universal character name
designating a digit
char \u0031morething;

11 / 27
Undefined Behaviour (cont.)
The value of a pointer to an object whose lifetime has ended is used.
We already encountered this back in lecture 4:

1 #include <stdio.h>
2
3 char *unary(unsigned short s) {
4 char local[s+1];
5 int i;
6 for (i=0;i<s;i++) local[i]=’1’;
7 local[s]=’\0’;
8 return local;
9 }
10
11 int main(void) {
12 printf("%s\n",unary(6)); //What does this print?
13 return 0;
14 }

12 / 27
Undefined Behaviour (cont.)
Use of an uninitialized variable before accessing it.
1 int main(int argc, char **argv) {
2 int i;
3 while (i < 10) {
4 printf("%d\n", i);
5 i++;
6 }
7 }
Accessing out-of-bounds memory.
1 char *buf = malloc(10);
2 buf[10] = ’\0’;
Dereferencing a NULL pointer or wild pointer (e.g. after calling free).
1 char *buf = malloc(10);
2 buf[0] = ’a’; // what if buf is NUL?
3 free(buf);
4 buf[0] = ’\0’; // buf has been freed
13 / 27
Undefined Behaviour (cont.)

Signed integer arithmetic is undefined if the result overflows.

I For instance for type int, INT MAX+1 is not INT MIN.
I By knowing that values “cannot” overflow, the compiler can enable
useful optimisations:
for (i = 0; i <= N; ++i) { ... }
I If signed arithmetic is undefined, then the compiler can assume the
loop runs exactly N+1 times.
I But if overflow were defined to wrap around, then the loop could
potentially be infinite and hard to optimise. Consider this case:
for (i = 0; i <= INT_MAX; ++i) { ... }
Undefined behaviour thus enables useful compiler optimisations. But at
what cost?

14 / 27
Undefined Behaviour (cont.)

The C standard states (Section 1.3.24):

Permissible undefined behaviour ranges from ignoring the
situation completely with unpredictable results, to behaving
during translation or program execution in a documented manner
characteristic of the environment (with or without the issuance
of a diagnostic message), to terminating a translation or
execution (with the issuance of a diagnostic message).

I Unspecified behaviour usually relates to platform portability issues

and can be dealt with (e.g. 32-bit vs 64-bit, Linux vs Windows).
I Undefined behaviour should be avoided at all costs, even if your
program appears to work fine in one instance.

15 / 27
Security Issues due to Undefined Behaviour
1 void read_from_network(int size) {
2 // Catch integer overflow.
3 if (size > size+1)
4 errx(1, "packet too big")
5
6 char *buf = malloc(size+1);
7 if (buf == NULL)
8 errx(1, "out of memory");
9
10 read(fd, buf, size);
11 // ... error checking on read.
12
13 buf[size] = 0;
14 process_packet(buf);
15 free(buf);
16 }

16 / 27
Security Issues due to Undefined Behaviour (cont.)
1 void read_from_network(int size) {
2 // size > size+1 is impossible since signed
3 // overflow is impossible. Optimize it out!
4 // if (size > size+1)
5 // errx(1, "packet too big")
6
7 char *buf = malloc(size+1);
8 if (buf == NULL)
9 errx(1, "out of memory");
10
11 read(fd, buf, size);
12 // ... error checking on read.
13
14 buf[size] = 0;
15 process_packet(buf);
16 free(buf);
17 }

17 / 27
Security Issues due to Undefined Behaviour (cont.)

A computation involving unsigned operands can never

overflow, because a result that cannot be represented by the
resulting unsigned integer type is reduced modulo the number
that is one greater than the largest value that can be represented
by the resulting type. -- C99 Standard Sec 6.2.5/9

I This optimisation does not occur with unsigned int since it is

defined to wrap around.
I Only signed overflow is undefined, so using unsigned integers to
track buffer sizes is wise.
I Particularly insidious since a security auditor reading the code can
easily miss this. There appears to be a security check in the code!

18 / 27
Security Issues due to Undefined Behaviour (cont.)

Poor Logic: The x86 ADD instruction is used to implement C’s

signed add operation, and it has twos complement behavior when
the result overflows. I’m developing for an x86 platform, so I
should be able to expect twos complement semantics when
32-bit signed integers overflow.

19 / 27
Security Issues due to Undefined Behaviour (cont.)

Poor Logic: The x86 ADD instruction is used to implement C’s

signed add operation, and it has twos complement behavior when
the result overflows. I’m developing for an x86 platform, so I
should be able to expect twos complement semantics when
32-bit signed integers overflow.

Analogy: Somebody once told me that in football you can’t

pick up the ball and run. I got a football and tried it and it
worked just fine. They obviously didn’t understand football.
It is possible to sometimes get away with undefined behaviour, but it will
eventually go wrong in very unexpected ways.
Further Reading: http://blog.regehr.org/archives/213

20 / 27
Compiler View on Undefined Behaviour

I The compiler only has to execute statements where the behaviour is

defined, and can optimise the rest away.
I In the C abstract machine, every operation that is being performed is
either defined or undefined (as classified by the C standard).
I Application developers need to worry about every input to the
program being defined, as the compiler is an “adversary” that can
jump on undefined behaviour and subvert the original “intention”.

21 / 27
Compiler View on Undefined Behaviour (cont.)
Consider a simplified program fragment, where function definitions:
I terminate for every input
I run in a single thread
I have infinite computing resources.

The compiler categorises these functions into three kinds:

I Always Defined: No restrictions on their inputs, and they are defined
for all possible inputs.
I Sometimes Defined: Some restrictions on their inputs, so they can
be either defined or undefined depending on the input value.
I Always Undefined: No valid inputs are admitted, and they are
always undefined.

22 / 27
“Always-Defined” Functions
1 int32_t
2 safe_div_int32_t (int32_t a, int32_t b)
3 {
4 if ((b == 0) || ((a == INT32_MIN) && (b == -1))) {
5 report_integer_math_error();
6 return 0;
7 } else {
8 return a / b;
9 }
10 }

I Inputs are carefully checked to ensure that undefined operations

invoke an error function.
I Error handling functions are not the same as undefined behaviour
since they have explicitly defined semantics.

23 / 27
“Sometimes-Defined” Functions

1 int32_t
2 safe_div_int32_t (int32_t a, int32_t b)
3 {
4 return a / b;
5 }
6 // function call defined iff
7 // ((b == 0) || ((a == INT32_MIN) && (b == -1)))

I All calls to safe div int32 t must now (somehow) be checked to

ensure that the preconditions are met.
I If compiler statically detects an input that would be undefined, it can
skip the function call entirely.

24 / 27
“Always-Undefined” Functions

1 int32_t
2 safe_div_int32_t (int32_t a, int32_t b)
3 {
4 bool check_overflow;
5 if (check_overflow &&
6 ((b == 0) || ((a == INT32_MIN) && (b == -1)))) {
7 report_integer_math_error();
8 return 0;
9 } else {
10 return a / b;
11 }
12 }

Why is this variant of safe div int32 t always undefined for all inputs?

25 / 27
Case Analysis in Linux kernel
1 static void __devexit agnx_pci_remove (struct pci_dev *pdev)
2 {
3 struct ieee80211_hw *dev = pci_get_drvdata(pdev);
4 struct agnx_priv *priv = dev->priv;
5
6 if (!dev) return;
7 // ... do stuff using dev ...
8 }

This code gets a pointer to a device struct, tests for null and uses it.
But the pointer is dereferenced before the null check! An optimising
compiler (e.g. gcc at -O2 or higher) performs the following case analysis:
I if dev == NULL then dev->priv has undefined behaviour.
I if dev != NULL then the null pointer check will not fail. Null pointer
check is dead code and may be deleted.
End Result: The !dev check is optimised away → security issue
26 / 27
Living with Undefined Behaviour
Long term: Unsafe programming languages will only be used to build
safer abstractions (e.g. Java or ML are bootstrapped in C/C++).
Short term: No straightforward answer, as a combination of tools and
techniques are needed.
I Use multiple compilers (clang or gcc) and enable all compiler
warnings (-Wall).
I Use static analysis tools (like clang-analyzer or Coverity) to spot
errors, or dynamic analysis engines like Valgrind.
I Modern clang and gcc have “undefined behaviour sanitizers” that
detect and generate errors for many classes of undefined behaviour via
the -fsanitize=undefined command line flag.
I Avoid “sometimes-undefined” functions by checking all inputs at the
point of use.
I Use high-quality third-party libraries that obey these rules.
“Be very careful, use good tools, and hope for the best.”
– John Regehr, http://blog.regehr.org/archives/213
27 / 27