Full-Text Search:
Home|Journal Papers|About CNKI|User Service|FAQ|Contact Us|中文
《Systems Engineering and Electronics》 2008-06
Add to Favorite Get Latest Update

Static analysis of C/C++ program for safety

ZHANG Li-yong,LIU Jian,CHEN Ping(Software Engineering Inst.,Xidian Univ.,Xi'an 710071,China)  
To detect such satety holes in C/C++ programs as memory leak,buffer overflow and invalid pointer reference,a bottom-up global analysis method based on function dependency is studied.And control-flow/data-flow analysis based on safety hole patterns is also studied.A static safety hole analysis framework is proposed and a corresponding tool is developed.By testing,it is shown that the tool can help to detect common safety holes in C/C++ program.In comparison with similar analysis tools,the tool developed supports whole-project analysis,analyzes each function only once and supports customization of safety rules.
【Fund】: “十一五”预先研究项目资助课题(51315060103)
【CateGory Index】: TP312
Download(CAJ format) Download(PDF format)
CAJViewer7.0 supports all the CNKI file formats; AdobeReader only supports the PDF format.
©2006 Tsinghua Tongfang Knowledge Network Technology Co., Ltd.(Beijing)(TTKN) All rights reserved