论文研究-一种多敏感空指针引用错误的静态检测方法 .pdf

【文件属性】：
文件名称：论文研究-一种多敏感空指针引用错误的静态检测方法 .pdf
文件大小：402KB
文件格式：PDF
更新时间：2022-09-12 14:55:09
软件工程 一种多敏感空指针引用错误的静态检测方法，白杨，王瑀屏，空指针引用错误是一种常见的、难以发现和避免的程序错误。针对该错误，结合传统静态分析方法和符号执行方法，提出一种过程内流敏