Supplementing Modern Software Defenses with Stack-Pointer Sanity

This paper defines SPI as a property comprising of two key sub-properties - Stack Localization and Stack Conservation - and implements a LLVM-based compiler prototype codenamed SPIglass that enforces SPI, demonstrating a low implementation overhead and incremental deployability, two of the most desirable features for practical deployment.