域敏感流敏感指针分析相关硕士博士期刊学术论文

受限于不完备的函数调用图分析和路径可达性分析，当前静态整数溢出检测工具存在较为严重的误报情况。为解决这一问题，以源代码中外部......