本项目研究针对C++程序的静态分析查错技术，静态分析是提高软件正确性和安全性的重要技术，其中符号执行是最为精确的一种静态分析技术。C++语言是工业界广泛使用的大型系统软件编程语言，既有与C语言同样的低级内存操作语义，又有面向对象的语言特征，是一种极为强大和复杂的语言。本项目力图将符号执行分析技术扩展到C++程序上，使其能够精确模拟C++语言的语义，建立新的内存模型和对象模型，支持C++中的继承，虚函数，临时对象，类型转换，构造析构函数，new/delete操作符，模板，函数重载等主要语言特征。在技术研究的基础上，开发一个产品级质量的C++静态分析工具，使其能够分析中等规模的真实的C++项目。研究将在一个已有的C语言静态分析工具和一个成熟的C++编译器前端基础上进行。