Optimization-unstable code

Overview

Optimization-unstable code (unstable code for short) is an emerging class of software bugs: code that is unexpectedly eliminated by compiler optimizations due to undefined behavior in the program. Unstable code is present in many systems, including the Linux kernel and the Postgres database server. The consequences of unstable code range from incorrect functionality to missing security checks.

STACK is a static checker that detects unstable code in C/C++ programs. Applying STACK to widely used systems has uncovered 160 new bugs that have been confirmed and fixed by developers.

Publications

Articles

Software

Our software is hosted on Github at https://github.com/xiw/stack/.

Obtain the latest code of STACK using:

git clone git://github.com/xiw/stack

See README and INSTALL for more information.

People