Efficient Protection of Path-Sensitive Control Security.
Modular control-flow integrity