【摘 要】
：
为了缓解动态符号执行不可避免的路径爆炸等问题,提出了基于圈复杂度的阶段动态符号执行CCSDSEM优化算法。该算法通过计算约束判定条件为真的数量来衡量代码的圈复杂度,然后
【机 构】
：
哈尔滨师范大学计算机科学与信息工程学院,上海市信息安全综合管理技术研究重点实验室
【基金项目】
：
上海市信息安全管理技术研究重点实验室开放课题(AGK2015003)
论文部分内容阅读
为了缓解动态符号执行不可避免的路径爆炸等问题,提出了基于圈复杂度的阶段动态符号执行CCSDSEM优化算法。该算法通过计算约束判定条件为真的数量来衡量代码的圈复杂度,然后依据圈复杂度的阈值进行分阶段动态符号执行,使动态符号执行梯度进行,缓解路径选择指数爆炸,合理缩放符号执行。最后在KLEE中实现CCSDSEM框架,并对测试程序做了检测。CCSDSEM将符号执行的运行时间显著缩短,提升了生成测试用例的数量。
其他文献
采用三维有限元法分析了Sampave应力吸收层厚度变化对沥青加铺层结构荷载应力和温度应力分布的影响，发现合理厚度的Sampave应力吸收层能较大幅度地降低加铺层层底的荷载应力和
患者77岁,因运动迟缓、肢体静止性震颤10年,睡眠障碍、记忆力减退2年，于2016年2月18日入院,患者夜间睡眠浅,上午处睡眠状态、午后被动活动后方能清醒,记忆力减退加重、行为能
前苏联地质学家1991年估计,苏联的铀资源约2Mt,其中可开采的、费用低于80美元/公斤的约400000t。已证实的铀资源中,开采费用低于80美元/公斤的铀,约50％为砂岩型层状铀矿床,产
肿瘤对人类的威胁越来越严重，目前在对待肿瘤上多侧重于临床治疗，肿瘤预防未得到足够的重视或尚未付诸于行动。这种重治疗轻预防的诊疗方式已不能满足医学模式转变的需要。
<正>2004 2月12日,《关于清理和控制城市建设中脱离实际的宽马路、大广场建设的通知》针对有的地方不顾客观实际,盲目攀比,建设超标准的大广场、宽马路;有的在建设中侵犯群众
目的了解广东省医院胃肠镜污染和消毒质量的状况，以便为改进和提高消毒质量提供依据。方法采用现场抽样检测方法，对广东省32所医院使用后和消毒后的胃肠镜进行了检测。结果广东
中国书籍装帧设计艺术源远流长,随着文字的演变和生产力的不断发展,书籍装帧样式也随之不断发生变化。本文将从中国书籍的载体与形态的变化发展过程分别进行阐述,对历经几千
根据兴安盟调整农业产业结构战略，对兴安盟发展优质绿色油豆角的必要性，可行性与潜力进行阐述，提出了发展策略。
卫星信号捕获和跟踪中,本地复现的测距码具有举足轻重的地位。针对于中国新发射的北斗三号卫星,提出了在FPGA内实现B2a信号测距码发生器的方法。以北斗三号卫星B2a的测距码为
传统的以安全产品构成的“封、堵、查、杀”的被动式的安全防御难以面对日益严重的工业控制系统的定向网络攻击安全事件,构建以业务为核心的网络安全防御体系,方能确保所保护