Novel Techniques in Recovering, Embedding, and Enforcing Policies for Control-Flow Integrity

To generate a precise CFI policy without the support of the source code, we systematically study two methods which recover CFI policy based on function signature matching at the binary level and propose our novel rule- and heuristic-based mechanism to more accurately recover function signature.