【摘 要】
:
函数调用关系能够反映软件系统中函数间的依赖关系,完整的函数调用关系可以更好地辅助程序验证和死锁分析,提升验证和分析的完备性.现有静态分析函数调用关系的方法不能准确
【机 构】
:
中国科学技术大学计算机科学与技术学院,中国科学技术大学安徽省计算与通信软件重点实验室,中国科学技术大学先进技术研究院
【基金项目】
:
安徽省自然科学基金(1408085MKL06);高等学校学科创新引智计划资助(B07033)
论文部分内容阅读
函数调用关系能够反映软件系统中函数间的依赖关系,完整的函数调用关系可以更好地辅助程序验证和死锁分析,提升验证和分析的完备性.现有静态分析函数调用关系的方法不能准确分析函数指针和虚函数的调用,影响了其分析结果的准确性.针对这一问题本文提出了一种基于控制流图(Control Flow Graph,CFG)的函数调用关系静态分析方法,该方法首先使用GCC插件静态获取源代码中的类型和函数CFG等信息并构建分析路径,然后采用本文提出的模拟仿真算法分析程序中的语句,并解析函数指针和虚函数的调用,最后基于分析结果生成完
其他文献
汉字是上古时期世界上各大文字体系中唯一传承至今的表意文字,包含着丰富的文化内涵和审美意蕴,是我们民族祖先智慧的结晶,是中华文明最灿烂的瑰宝之一.近年来,党和国家领导
本文论述了“另类”服饰现象的概念、本质和特点,从对服饰设计工作的启发借鉴作用及为服装企业提供市场商机等方面入手,分析了“另类”服饰现象对于行业发展的积极意义。
在讨论大气环境质量灰色聚类关联评价法的基础上,通过应用实例和与灰色聚类法及灰色关联法的比较分析,验证了这种评价法的合理性和可靠性。
计算机基础课程领域内的教学,可以利用任务驱动教学法进行,其重要意义在于培养学生主动学习和积极探索的学习习惯,从而形成学生提出、分析和解决问题的综合能力。探讨任务驱
<正>此次广告法修改秉持一个重要原则,就是明晰法律的界限,包括明确主体的界限,明确合法广告和非法广告的界限,以及明确合法行为和非法行为的界限。通过明晰上述三个方面的界
目的:探讨建立医疗设备培训师体系的构想,使医疗设备操作人员更好掌握操作技能,医用仪器发挥最大功能。方法:借鉴国外医疗设备培训师的理论与实践,从医疗设备培训师的定义、医疗设
LIBRA天秤座9.23—10 23整体运:☆☆☆☆天秤座本月的整体运势是塔罗牌中的“世界”正位。代表着这是一个心想事成的美好时光,每天都能让你对生活产生更积极的想望。另外人际
结合牵引变电所两种不同有功电能计量方式下的实际计量数据,对不同计量方式的主要误差影响进行了分析讨论。
采集武昌南湖湖水、沉积物进行沉水植物的盆栽试验。试验设置沉积物对照处理和施100 mg/kg磷处理种植菹草、伊乐藻及菹草—伊乐藻,以研究沉水植物的生态作用引起的根际周围沉
结合黄石板岩山危岩体防治工程,根据现场地形地貌,为拦截落石和危岩削方爆破飞石,提出以拦石坝为主的三级防护布置方案.以落石和爆破飞石的运动特征为基础,探讨基于落石和爆