Bouncer: securing software by blocking bad input
Control-flow integrity principles, implementations, and applications