作者：黄晖 陆余良 夏阳语义提取动态符号执行路径调度二进制程序缺陷发现
摘要：以对二进制程序进行自动化缺陷发现为目标，基于软件虚拟机的动态二进制翻译机制和污点传播机制，对符号计算需要关注的程序运行时语义信息提取、中间语言符号计算等机制进行了研究，改进了传统动态符号执行的路径调度部分，分析了程序缺陷的符号断言表达形式，构建了一个在线式的动态符号执行系统检测二进制程序中的缺陷。实验验证了该方法在实际程序缺陷发现中的有效性。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《计算机应用研究》（CN：51-1196/TP）是一本有较高学术价值的大型月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《计算机应用研究》杂志以其新颖性、学术性、系统性、技术性于一身，瞄准国家迫切需要的前沿技术，及时反映并涵盖了国内外计算机学科领域最新发展趋势及技术动向，注重刊登反映本学科领域的新理论、新方法、新技术，选题新颖，可读性强而备受广大读者所喜爱，在各行各业拥有大量的读者、作者，在计算机业界享有崇高的知名度和影响力。
部级期刊
人气 229909 评论 65
人气 213790 评论 35
省级期刊
人气 212470 评论 71
北大期刊、统计源期刊
人气 192792 评论 73
