【摘 要】
：
符号执行技术以其良好的精确度控制被广泛应用于程序分析领域,它将程序中变量的值用抽象的符号表示,模拟真实的程序执行.由于其路径敏感,在分析过程中会带来严重的状态爆炸问
【机 构】
：
中国科学技术大学计算机科学与技术学院; 中国科学技术大学先进技术研究院中国科大—国创高可信软件工程中心;
【基金项目】
：
国家自然科学基金项目(61379039,61632005)资助
论文部分内容阅读
符号执行技术以其良好的精确度控制被广泛应用于程序分析领域,它将程序中变量的值用抽象的符号表示,模拟真实的程序执行.由于其路径敏感,在分析过程中会带来严重的状态爆炸问题.提出针对缺陷的程序切片方法来缓解这一问题,首先根据用户关心的缺陷生成源程序的切片准则,然后分析源代码生成数据依赖图和控制依赖图,由两者构成程序依赖图,再根据切片准则做程序切片,将源程序规模缩小,最后将切片后的程序交给程序分析工具分析.在符号执行分析工具ShapeChecker上的实验结果表明,提出的方法具有良好的效果.
其他文献
主要对市政桥梁施工安全管理问题进行研究,根据市政桥梁施工中安全管理的实际情况,从市政桥梁施工的特点、安全管理的重要性,存在的安全问题以及解决措施等方面进行分析,最后
介绍新型胶球清洗系统优化改造后在电厂中实际应用效果。凝汽器胶球清洗系统作为提高发电厂汽轮机组热效率的重要设备,可维持凝汽器换热管内壁洁净,提高凝汽器总传热性能,使
介绍了教学过程管理软件的设计过程。该软件利用Office套件，借助VBA技术，依据学校基础信息数据库，自动生成统一格式的教学概要表、成绩统计分析表等教学过程管理文档。该软件保
新课程改革的全面推行,给基础教育注入了生机和活力,同时也给广大农村学校带来机遇和挑战;尤其是民族高中,新课改不但对于提高少数民族学生的综合素质具有深远的历史意义,而
热休克蛋白是一组应激蛋白，在多数肿瘤细胞中表达增高，并参与肿瘤的生长、侵袭、转移等，与患者预后密切相关。本文就HSPs的特点、功能、与肿瘤发生发展的关系及临床应用分别进行
狐狸骑在虎背上,百兽见了都惊散,狐假虎威,自然威风。而一旦下来,老虎的胃就是骑虎者的最终归宿。而权力,尤其是最高权力,就是虎背,那张美丽的皮,引无数英雄竞折腰。
Fox ri
党建带团建带出了目标,带出了特色,带出了成效,员工队伍呈现出蓬勃向上,斗志昂扬的精神状态。
热休克蛋白（HSP）是细胞在应激条件下产生的一类高度保守的蛋白质,已被证实是一个强有力的免疫佐剂,在肿瘤免疫中充当了多重角色,对研制临床上有实用价值的肿瘤疫苗有重要的意义
目的：探究天然植物成分（柠檬提取物）对变形链球菌葡糖基转移酶和细胞外多糖合成的影响。方法：采用二倍稀释法，用含2％蔗糖的胰蛋白胨大豆肉汤（TSB）将柠檬提取物稀释为从1．250ul／ml到0．039
事业单位的发展关系到社会效益和经济效益,随着经济改革的深入推进,事业单位传统财务管理模式已无法满足内部管理和控制的需要,精细化管理在理论界和实务界不断得以推广。本