电子设计工程
電子設計工程
전자설계공정
ELECTRONIC DESIGN ENGINEERING
2011年
12期
28-31
,共4页
数组越界%存储越界%内存泄露%语法树
數組越界%存儲越界%內存洩露%語法樹
수조월계%존저월계%내존설로%어법수
为了检测出C/C++源代码程序中常见的运行时错误,设计了一个静态检测系统.该系统通过词法分析、语法分析、语义分析来获取程序的语法树.然后系统的检测程序将会分析语法树的每一个结点,判断结点中的属性信息是否存在错误.创新点在于语法树数据结构和检测程序的设计.通过检测程序对结点的属性值的分析,能够检测出C/C++源代码程序中出现的数组越界、指针错误、字符串函数错误,内存泄露等问题.
為瞭檢測齣C/C++源代碼程序中常見的運行時錯誤,設計瞭一箇靜態檢測繫統.該繫統通過詞法分析、語法分析、語義分析來穫取程序的語法樹.然後繫統的檢測程序將會分析語法樹的每一箇結點,判斷結點中的屬性信息是否存在錯誤.創新點在于語法樹數據結構和檢測程序的設計.通過檢測程序對結點的屬性值的分析,能夠檢測齣C/C++源代碼程序中齣現的數組越界、指針錯誤、字符串函數錯誤,內存洩露等問題.
위료검측출C/C++원대마정서중상견적운행시착오,설계료일개정태검측계통.해계통통과사법분석、어법분석、어의분석래획취정서적어법수.연후계통적검측정서장회분석어법수적매일개결점,판단결점중적속성신식시부존재착오.창신점재우어법수수거결구화검측정서적설계.통과검측정서대결점적속성치적분석,능구검측출C/C++원대마정서중출현적수조월계、지침착오、자부천함수착오,내존설로등문제.
