文献检索-宁波市创意产业特色资源库

限定检索结果

MemPort:内存访问可移植性检测的设计和实现: 收藏
分享
引用; 《小型微型计算机系统》2016年第4期37卷 664-669页; 作者：岳佳圆曹宇李弋复旦大学软件学院上海200433 上海市数据科学重点实验室(复旦大学)上海200433 上海计算机软件技术开发中心上海201112; 在程序可移植性问题中,运行时访存相关的可移植性问题具有极高的隐蔽性,现有技术难以准确地检测这些问题.如果程序存在这类移植性问题,开发人员需要花大量时间进行分析改正.本文基于符号执行的方法,提出一套完整的检测程序运行时潜在的...; 在程序可移植性问题中,运行时访存相关的可移植性问题具有极高的隐蔽性,现有技术难以准确地检测这些问题.如果程序存在这类移植性问题,开发人员需要花大量时间进行分析改正.本文基于符号执行的方法,提出一套完整的检测程序运行时潜在的访存相关可移植性问题的方法和技术,并实现了相应的工具.对一些有移植性特性的开源程序的源代码进行实验、测试和分析,检测模型和工具能准确地在程序源代码中指出存在潜在移植性问题的代码区域,并且实验结果也显示出了较高的检测准确率.; 来源：详细信息评论

限定检索结果