HI,欢迎来到学术之家,发表咨询:400-888-7501  订阅咨询:400-888-7502  股权代码  102064
0

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

作者:饶坤 彭四伟数组越界存储越界内存泄露语法树

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

注:因版权方要求,不能公开全文,如需全文,请咨询杂志社

电子设计工程

《电子设计工程》(CN:61-1477/TN)是一本有较高学术价值的大型半月刊,自创刊以来,选题新奇而不失报道广度,服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《电子设计工程》是经国家新闻出版总署、国际科技部批准的电子应用类期刊,多次评为陕西省优秀期刊。以其创新性、实用性、前瞻性,努力提升自身学术水平,是目前国内介绍电子应用技术的主要期刊之一,是国家正式刊物。

杂志详情