C/C++源代码静态检测系统的设计和实现

• 作者: 彭四伟 饶坤
• 来源期刊: 电子设计工程
• 学科: 工学
• 关键词: 数组越界 存储越界 内存泄露 语法树
• 年，卷（期）: 2011,（12）
• 所属期刊栏目: 计算机技术应用
• 页码范围: 28-31
• 分类号: TP314
• 字数: 4112字
• 语种: 中文
• DOI: 10.3969/j.issn.1674-6236.2011.12.009

摘要

为了检测出C/C++源代码程序中常见的运行时错误,设计了一个静态检测系统.该系统通过词法分析、语法分析、语义分析来获取程序的语法树.然后系统的检测程序将会分析语法树的每一个结点,判断结点中的属性信息是否存在错误.创新点在于语法树数据结构和检测程序的设计.通过检测程序对结点的属性值的分析,能够检测出C/C++源代码程序中出现的数组越界、指针错误、字符串函数错误,内存泄露等问题.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	彭四伟	北京化工大学信息学院	30	227	9.0	13.0
2	饶坤	北京化工大学信息学院	1	1	1.0	1.0