论文研究一种多敏感空指针引用错误的静态检测方法 .pdf
一种多敏感空指针引用错误的静态检测方法,白杨,王瑀屏,空指针引用错误是一种常见的、难以发现和避免的程序错误。针对该错误,结合传统静态分析方法和符号执行方法,提出一种过程内流敏
下载地址
用户评论