C++源程序缓冲区溢出漏洞的静态检测.pdfVIP

下载本文档

8
0
约 3页
2015-09-11 发布于重庆
举报
版权申诉

C++源程序缓冲区溢出漏洞的静态检测.pdf

1、本文档共3页，可阅读全部内容。
2、有哪些信誉好的足球投注网站（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。
3、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击这里二次下载。
4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
5、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
6、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
7、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
8、VIP文档为合作方或网友上传，每下载1次，网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档

C++源程序缓冲区溢出漏洞的静态检测.pdf

! !##源程序缓冲区溢出漏洞的静态检测杨小龙刘坚（西安电子科技大学软件工程研究所，西安 A )A )）： C@D7EF D55GFH:5;I$3;D 摘要讨论了%/ %’’源程序中缓冲区溢出的常见表现；分析了其特性以及产生机理；提出了在源代码的J-, 上附加安全属性进行漏洞静态检测的方法；讨论了该方法的实现过程。关键词缓冲区溢出整数值域判断静态检测 J-, 文章编号（）文献标识码中图分类号 )!@K..)@ !# !@ )K@. J ,L.)# $%%’())* +,%,(%’-. /’0,)* 1233,4 56,43)78 92)-,4:’)’%’,; ’- ! !## 47.4= -. ?’7)7-. /’2 @’- （，，） -;?1M72: CNE::2EN +01E1I1: OEPE7 QER:20E15 OES7 A )A ) A:;%4(% ：,6: ?7DEFE72 2:42:0:171E; ;? =I??:2 ;R:2?F;M RIF:27=EFE1E:0 E0 42;4;0:P$J 77F50E0 1; 16: RIF:27=EFE1E:0S3672T 731:2E01E30 7P 6;M 16:5 M;2U 670 =:: D7P:$J D:16;P =5 7PPEN 16: 07?: 2IF:0 1; 0;23:3;P:S0 J-, E0 42:0:1:P ?;2 0171E37FF5 P:1:31EN 0I36 42;=F:D0$,6: 7442;736S0 M;2U@42;3:00 E0 NER:$ ：，，， B,*874C; =I??:2 ;R:2?F;M E1:N:2 27N: 3;0127E1 0171E37FF5 P:1:31 J-, 程序代码编写错误是软件安全漏洞产生的重要原因之一。判断的拷贝给字符数组；图（）中，对字符串的访问不进 = ) = 0 而程序设计语言本身所固有的特性，如中对数组、指针行任何边界检查。假设中没有空格，则循环的结束点将超出 %%’’ 0 0 无自动的边界检查，使得许多错误无法在编译阶段被发现；同的范围，继而操作“ ”也将发生在未知的程序点上。 80 时随着程序规模的扩大，状态空间急剧增大，导致很多安全漏洞在程序动态测试阶段很难被发现。这其中以缓冲区溢出问题最为突出()* 。为解决此问题，前人做了大量工作，包括基于词法分析的漏洞检测工具+,-#(!* 、基于携带验证代码技术的检测方 (.* (#* 法以及基于代码转换策略的检测方法等。文