【摘 要】
：
在程序可移植性问题中,运行时访存相关的可移植性问题具有极高的隐蔽性,现有技术难以准确地检测这些问题.如果程序存在这类移植性问题,开发人员需要花大量时间进行分析改正.
【机 构】
：
复旦大学软件学院; 上海市数据科学重点实验室(复旦大学); 上海计算机软件技术开发中心;
【基金项目】
：
上海市科委科研计划项目(13DZ1108800)资助
论文部分内容阅读
在程序可移植性问题中,运行时访存相关的可移植性问题具有极高的隐蔽性,现有技术难以准确地检测这些问题.如果程序存在这类移植性问题,开发人员需要花大量时间进行分析改正.本文基于符号执行的方法,提出一套完整的检测程序运行时潜在的访存相关可移植性问题的方法和技术,并实现了相应的工具.对一些有移植性特性的开源程序的源代码进行实验、测试和分析,检测模型和工具能准确地在程序源代码中指出存在潜在移植性问题的代码区域,并且实验结果也显示出了较高的检测准确率.
其他文献
蒙古族男子群舞《戈壁沙丘》是一个以生态环境保护为主题的作品。该作品是运用蒙古族舞蹈语汇,借用蒙古族地区戈壁沙漠的自然地貌为背景,进行作品的情节创作,并通过虚实相生
根据美国７１届胶体和界面科学会议论文，评述近年来表面活性剂学科发展趋势，介绍一些新的概念和新的方法。
金耀基教授的<大学之理念>从科学与人文的此消彼长的角度考察了大学理念的历史、现状和未来,提出大学要在科学与人文的对垒中高扬人文主义的大旗,这对于我们今天的大学具有重
人际信任对于社会和谐具有重要意义。我国大学生人际信任呈现下降趋势,值得关注。本文从人格特征、认知方式、情绪状态、社会交往经验、个人资本等方面论述了影响大学生人际
【正】戊戌变法失败后,梁启超的思想不是向后倒退,而是继续向前发展。他把变法成功的希望从皇帝和少数当权官僚身上转到“开民智”和要求“民权”方面。 戊戌变法时期,梁启
目的观察Crede手法在神经源性膀胱康复护理中的应用疗效。方法神经源性膀胱患者共57例,随机分为抗胆碱药物使用、间歇导尿配合Crede手法组（治疗组）29例及抗胆碱药物使用配合间
软装饰在现代室内设计中越来越受到重视,人们＂轻装修,重装饰＂的观念也更趋成熟。该文通过对现代软装饰在空间设计中的作用以及新中式风格设计的阐述,探讨了新中式风格室内设计
人的本质是“经济人”、“社会人”和“理性人”的有机统一体.本文根据这一人的本质的理论,提出人的全面现代化的观点.认为人的现代化不仅是指素质的现代化,还应包括职业现代
一直以来，关于会展企业的信息化、互联网化究竟该怎样操作，成为没有标准答案的问题。借此，笔者试着谈谈信息化会展企业的标准。$$实现信息化管理，需建设一套完善业务流程管理的内
平日闲暇时,我会参加论坛里组织的义工活动,在几次去福利院的活动中,我们都自发地组织资金购买孩子们的衣物图书等。但几个人的力量毕竟有限。