随着人们对软件安全问题重视程度的提高,如何快速高效地检测出软件的安全漏洞已成为当前计算机安全领域研究的一个重要课题。本文针对一个C/C++程序的静态安全检查工具,设计与实现了其中的符号表子系统。该符号表主要用于收集源程序中的符号信息,并提供给安全检查工具使用。本文首先提出了符号表的整体设计框架,分析了相关数据结构的设计；其次阐述了符号表子系统在实现中的主要问题和解决方案；最后列举了符号表子系统在安全检查过程中的提供的有效支持。本文的重点在于研究作用域结构的设计,变量、结构体、函数、模板等符号在符号表中的存储和操作的设计,难点在于如何在符号表中实现函数重载解析和模板的实例化、特化的过程。文中提出的符号表的基础架构基于C/C++ISO标准中的语法构建,适用于所有C/C++语言的编译器前端架构,并能用于C/C++语言程序安全检查。经安全检查后端的实践检验,符号表子系统能够很好的应用于安全检查工具。同时,符号表架构具有良好的扩展性,能够支持多语言和多平台。该架构对今后同类系统的研究和开发有一定的参考价值。