Investigate deploying STACK to check for optimization-unstable code
Optimization-unstable code (code that is unexpectedly eliminated by compiler optimizations due to undefined behavior in the program) can lead to serious bugs in programs. We should think about deploying STACK, which helps to detect this class of bugs, when building our hardened bundles at least. Relevant reading material:
http://kqueue.org/blog/2013/09/17/cltq/ http://css.csail.mit.edu/stack/ http://pdos.csail.mit.edu/papers/stack:sosp13.pdf http://pdos.csail.mit.edu/papers/ub:apsys12.pdf
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information