Java程序中数组越界和空指针错误的静态分析
| Data(s) |
2009
|
|---|---|
| Resumo |
介绍了静态分析的相关背景知识,对Java程序中数组越界和空指针错误的常见表现形式进行了归类,并通过实验评估了现有的Java静态分析工具功能,指出了其在跨过程分析中的不足,并对如何改进进行了讨论. |
| Identificador | |
| Idioma(s) |
中文 |
| Fonte |
陈柏强;郭涛;阮辉;严俊.Java程序中数组越界和空指针错误的静态分析,计算机应用,2009,29(5):1376-1379 |
| Palavras-Chave | #静态分析工具 |
| Tipo |
期刊论文 |
