Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18) - View it on GitHub