C++拥有高性能和面向对象的特点，广泛应用于对性能有较高要求的软件系统，例如Chrome、Firefox等。然而C++语言缺乏类型和内存安全，导致其容易受到代码复用攻击，虚函数表劫持攻击是一种非常流行的代码复用攻击手段，已造成了非常大的损失。学术界针对如何防止虚函数表劫持攻击开展了深入的研究，但是其保护效果仍然存在提高空间。本项目从虚函数表劫持攻击的三个步骤开展为C++程序提供保护的程序分析技术的研究，重点研究以下内容：（1）类型混淆漏洞检测，（2）虚函数表指针完整性，（3）上下文敏感目标函数检查。从三个方面提高C++程序的安全性。

C++ provides high performance and high level abstraction. It is a primary choice for implementing a wide variety of software that requires high performance. Examples of large C++ software include Chrome, Firefox, and so on. Due to the absence of neither type nor memory safety, C++ is vulnerable to code reuse attacks. As an increasingly popular code reuse attack, vtable hijacking attack has caused serious damage. Despite the vast research on protection techniques against vtable hijacking attack, the protection provided is still far from satisfactory. This project focuses on program analysis techniques that provide protection against vtable hijacking attack from its three steps. This project comprises of the following parts: (1) efficient type confusion detection, (2) vtable pointer integrity, and (3) context-sensitive legal target function validation technique. Thus provides stronger protection for C++programs.