有哪些信誉好的足球投注网站- 1、本文档共4页，可阅读全部内容。
- 2、有哪些信誉好的足球投注网站（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。
- 3、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 5、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 6、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
第29卷第5期 计算机应用 V01．29No．5
of Mav2009
2009年5月 Joumal
ComputerApplications
文章编号：100l一908l(2009)05一1376—04
Java程序中数组越界和空指针错误的静态分析
陈柏强1’2，郭 涛3，阮辉∽，严 俊1
(1．中国科学院软件研究所计算机科学国家重点实验室，北京100190；2．中国科学院研究生院，北京lo0049；
3．中国信息安全测评中心，北京100085)
(chellbq@i∞．ac．cn)
摘要：介绍了静态分析的相关背景知识，对Java程序中数组越界和空指针错误的常见表现形式进行了归类，并
通过实验评估了现有的Java静态分析工具功能，指出了其在跨过程分析中的不足，并对如何改进进行了讨论。
关键词：静态分析工具；Java代码；数组越界；空指针
中图分类号：11P3ll文献标志码：A
Staticdetectionof boundserrorsandnull deref．erenceinJaVa
array pointer
CHEN Huil”，YANJunl
Bai。qian91一，GUOTa03，RUAN
(1．S眦置哆妣吖矿Co呷吮rsc据嗽，珊ff眦o，S妒埘。阳，铂加倒Ac础啊矿s砌嬲，日谢昭100190，c矗讹；
2．‰d删e踟觇m毋o，伪iⅢe．4m如啊矿鼬，∞，雎彬凡gl00049，吼打“；
3．傩梳吨加m口￡加7砒蒯哪鼬“嘶E犯Z删幻玷＆眦r’＆狮g100085，仇i船)
of in was the scen捌08of indexoutof
Java introduced，andgeneraJ
Abstract：Backgmundknowledgestatic粕alysis army
bounds锄dnlIll dereferencein werecl鹊sified． evaluati叩ofthe static
pointer Java
pmgmm Experimental pfesentedanalysi$
加10188howthatthe8et00Isare∞te蚯cientfor the eⅡn埽粕dtIle discussio船on
analyzinginte卜procedural autho璐give崩ef
h(娜to∞hen矗sproblem．
words：static outof dereference
Key a11aIysistool；Jayacode；觚呵indexbounds；nllllpointer
2¨1、
前，针对Java程序的典型的静态分析工具有EsC／Java
O 引言
Findbugs【5J、J“
文档评论（0）