本文主要研究C／C++程序缓冲区越界的静态检测。通过使用GCC编译器的前端编译源程序生成中间文件，将此中间文件作为程序分析的原始输入，再使用语法制导翻译的方式嵌入相应的安全规则，完成对源程序的缓冲区越界检查。对于过程内的分析，通过属性计算来记录和跟踪变量的信息，作为安全判断的依据。根据源程序的结构，按作用域管理变量、按变量名查找变量信息的方式使得层次分明，语义清晰。设计合适的指针属性，能有效消除由数组与指针的互用以及指针别名问题造成的混乱，增加分析的精度，简化了过程内指针与别名分析。对于跨过程的分析，先进行过程内分析得到调用函数的前置条件和后置条件，后在跨过程调用时，收集有关信息并对照前后置条件进行检查。使用前置条件检查函数调用前所必须满足的条件，而后置条件用来记录被调函数对后续分析的影响。