Abstract: Network security has been paid more attention to and hackers often take advantage of buffer overflow to attack other systems or spread virus.Safe code will decrease the risk if programmers focus on the question strictly.A method to statically detecting likely buffer overflow vulnerabilities is introduced and it may help programmers to improve the security of software.

摘要： 网络安全日益引起人们的重视,而利用缓冲区溢出进行攻击是黑客和病毒较为常用的手段。如果程序员能够采取足够的重视并且写出安全性较高的代码将大大降低被攻击的危险。该文介绍了一种针对C/C++源程序的静态分析方法,给程序编写者和修改者提供一定的漏洞提示。

关键词: 网络安全, 缓冲区溢出, 安全模式, 属性

CLC Number: 

• TP393.08