Towards optimization-safe systems: analyzing the impact of undefined behavior
This paper studies an emerging class of software bugs called optimization-unstable code: code that is unexpectedly discarded 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. The consequ...
Main Authors: | , , , |
---|---|
Other Authors: | |
Format: | Article |
Language: | en_US |
Published: |
Association for Computing Machinery
2014
|
Online Access: | http://hdl.handle.net/1721.1/86980 https://orcid.org/0000-0003-0238-2703 https://orcid.org/0000-0001-7604-8252 https://orcid.org/0000-0001-7098-586X |