摘要
网络安全日益引起人们的重视,而利用缓冲区溢出进行攻击是黑客和病毒较为常用的手段。如果程序员能够采取足够的重视并且写出安全性较高的代码将大大降低被攻击的危险。该文介绍了一种针对C/C++源程序的静态分析方法,给程序编写者和修改者提供一定的漏洞提示。
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.
出处
《计算机工程》
CAS
CSCD
北大核心
2005年第19期96-98,113,共4页
Computer Engineering
基金
武器装备预研基金资助项目
关键词
网络安全
缓冲区溢出
安全模式
属性
Network security
Buffer overflow
Safety pattern
Attributes
