ASPIER: An Automated Framework for Verifying Security Protocol Implementations
control - flow integrity .