Java程序中数组越界和空指针错误的静态分析

著录项

• 来源
  《计算机应用》 |2009年第5期|1376-1379|共4页
• 作者

  陈柏强; 郭涛; 阮辉; 严俊;

  展开▼
• 作者单位

  中国科学院软件研究所;

  计算机科学国家重点实验室;

  北京;

  100190;

  中国科学院;

  研究生院;

  北京;

  100049;

  中国信息安全测评中心;

  北京;

  100085;

  中国科学院软件研究所;

  计算机科学国家重点实验室;

  北京;

  100190;

  中国科学院;

  研究生院;

  北京;

  100049;

  中国科学院软件研究所;

  计算机科学国家重点实验室;

  北京;

  100190;

  展开▼
• 原文格式 PDF
• 正文语种 chi
• 中图分类 程序设计、软件工程;
• 关键词

  静态分析工具; Java代码; 数组越界; 空指针;