Effective Function Recovery for COTS Binaries using Interface Verification
control - flow integrity .