【摘 要】
：
提出了一种基于程序功能标签切片的制导符号执行分析方法OPT-SSE.该方法从程序功能文档提取功能标签,利用程序控制流分析,建立各功能标签和程序基本块的映射关系,并根据功能
【机 构】
：
（数学工程与先进计算国家重点实验室,（计算机软件新技术国家重点实验室（南京大学）
【基金项目】
：
国家自然科学基金(91318301,61170066,6147179)
论文部分内容阅读
提出了一种基于程序功能标签切片的制导符号执行分析方法OPT-SSE.该方法从程序功能文档提取功能标签,利用程序控制流分析,建立各功能标签和程序基本块的映射关系,并根据功能标签在程序执行中的顺序关系生成功能标签执行流.针对给定的代码目标点,提取与之相关的功能执行流切片,根据预定义好的功能标签流制导规则进行符号执行分析,在路径分析过程中,及时裁剪无关的功能分支路径以提升制导效率.通过对不同的功能标签流进行分离制导符号执行分析,可避免一直执行某复杂循环体的情形,从而提高对目标程序的整体分支覆盖率和指令覆盖率.实
其他文献
1997年11月，我从河南开封入伍。一身绿军装实现了参军报国的夙愿，我热爱部队，刻苦训练，经过半年多的努力，终于成了连队射击训练的尖子。 然而万没想到，一次意外的事件，却使爱枪如命
“朱亚红名师工作室”是基于学校教师发展的草根工作室，领衔人朱亚红系江苏省张家港市云盘小学校长，苏州市名教师。工作室成员共16人，其中特级教师1人，苏州市名教师1人，苏州市学科
交替(树)自动机因其本身关于取补运算的简洁性及其与非确定型(树)自动机的等价性,成为自动机与模型检测领域研究的一个新方向.在格值交替自动机与经典交替树自动机概念的基础
本文是中华全国商业信息中心根据2007年第一季度全国重点大型零售商业企业,童装的销售情况统计结果进行分析、归纳、总结出2007年第一季度童装市场的运行特点并对未来发展趋
庄子人信奉“创新、务实、名牌、价值”。“创新”是庄子人的立业之本，“务实”是庄子人的做事风格，“名牌”是庄子人的追求目标，“价值”是庄子人的企业理念。同时，庄子人始终坚
破伤风是因破伤风杆菌侵入人体伤口、并在伤口处生长繁殖、产生毒素而引起的一种急性特异性感染。破伤风杆菌及其毒素不能侵入正常的皮肤和黏膜，故破伤风都发生在外伤后。一切
整个5月，地产圈最大的新闻莫过于“二万合作”了！这是地产界的一次狂欢，就连营销层面，也由“和牌术”衍生出“营销术”，成就了“全民和了”的热闹景象。 一个是商业地产的龙头，一个是住宅地产的领军企业，他们的合作无疑是国内房地产行业的一次“地震”。为此，业内人士对“二万合作”给予种种猜测。各种纷乱背后，是绕不开的“新合作时代”的到来。 有人说，地产界的微利时代也意味着合作时代，由两大龙头房企开启的“