control flow integrity for cots binaries .
Combining Control-Flow Integrity and Static Analysis for Efficient and Validated Data Sandboxing