【摘 要】
：
符号执行是静态分析中的一项常用技术,数组元素混淆问题是限制符号执行本身性能的关键因素之一。通过分析数组混淆实质,提出了一种分支混淆算法,利用边混淆边符号执行的策略,
【机 构】
：
南开大学信息技术科学学院,南京大学计算机软件新技术国家重点实验室
【基金项目】
：
南京大学计算机软件新技术国家重点实验室开放课题(KFKT2010B22);天津市科技攻关项目(08ZCKFGX01100)资助
论文部分内容阅读
符号执行是静态分析中的一项常用技术,数组元素混淆问题是限制符号执行本身性能的关键因素之一。通过分析数组混淆实质,提出了一种分支混淆算法,利用边混淆边符号执行的策略,可以处理较为复杂的数组问题。该策略使用实时的约束求解,及时地剪除不可达的混淆分支。结合符号执行和约束求解技术,开发了基于分支混淆算法的工具原型ASym。初步实验表明,利用分支混淆算法可以处理具有分支结构的数组混淆问题,避免延迟替换出现的数组语义误差,且在很大程度上缩减了分支数量,提高执行效率。
其他文献
二次函数的图像和性质应用广泛，与其他知识联系紧密．问题的解决往往依赖数与形的有机结合，突显数形结合的魅力．现举几例与抛物线相关的图形变换问题，并说明此类问题的解法．
微媒体时代,涉军敏感事件炒作从现实社会转向网络空间,导致军队形象塑造面临前所未有的复杂局势。有效应对涉军敏感事件炒作,必须严格遵守纪律规定、灵活掌握应对方法、适度
<正>军队改革议题广受新媒体关注。自2015年"9·3"胜利日大阅兵以来,微博微信等新媒体对军队改革的关注持续升温。中央军委改革工作会议召开后,众多新媒体开始热炒军队"钙哥"
在日常生活中,言语冒犯行为时有发生。对于听话人而言,采取什么样的回应策略对会话进程的后续发展、交际主体双方的关系走向起着至关重要的作用。本文在"面子威胁论"的基础上
民营科技企业是经济发展的重要动力,民营科技企业具有经营领域广、技术转化为产品周期短、注重市场需求等特点,但也存在家族式管理,管理制度不健全,持续创新能力弱等问题。民
本文从社会对刑事和解制度与治安调解制度的需求、降低司法成本、社会效果以及刑事和解与治安调解的法律效力等多个方面对刑事和解制度与公安的调解制度相比较,从而对刑事和
素质教育背景下,快乐教学法符合素质教育的要求,将其合理的应用于小学语文教学中,可以营造良好教学氛围、可以激发学生兴趣,可以培养学生学习热情,促使学生语文知识水平逐步
监护制度是民法的重要制度之一,它以保护被监护人的利益为目的,这一制度的合理构建关系到被监护人利益的得失。本课题通过监护制度的阐述,分析了监护的概念、特征,指出监护实
为保护环境,近年来环保部门要求原油码头装船时设置油气回收设施。鉴于国内原油码头油气回收起步较晚,对原油码头装船油气回收进行了系统研究。通过调研分析目前国内已建原油
《]政府信息公开条例》实施以来,公民从政府信息的被动接收者逐渐转变成主动的获取者,公民的知情权得到进一步的保障。本文从知情权的概念入手,分析了知情权作为基本人权的权