作者：陈柏强 郭涛 阮辉 严俊静态分析工具java代码数组越界空指针
摘要：介绍了静态分析的相关背景知识，对Java程序中数组越界和空指针错误的常见表现形式进行了归类，并通过实验评估了现有的Java静态分析工具功能，指出了其在跨过程分析中的不足，并对如何改进进行了讨论。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《计算机应用》（CN：51-1307/TP）是一本有较高学术价值的大型月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。
部级期刊
人气 230963 评论 65
人气 216789 评论 35
省级期刊
人气 214070 评论 71
北大期刊、统计源期刊
人气 193649 评论 73
