MemPort:内存访问可移植性检测的设计和实现

摘要 在程序可移植性问题中，运行时访存相关的可移植性问题具有极高的隐蔽性，现有技术难以准确地检测这些问题.如果程序存在这类移植性问题，开发人员需要花大量时间进行分析改正.本文基于符号执行的方法，提出一套完整的检测程序运行时潜在的访存相关可移植性问题的方法和技术,并实现了相应的工具.对一些有移植性特性的开源程序的源代码进行实验、测试和分析，检测模型和工具能准确地在程序源代码中指出存在潜在移植性问题的代码区域，并且实验结果也显示出了较高的检测准确率