论文部分内容阅读
符号执行中复杂结构语义的建模决定了其分析结果的精度。通过对符号执行中数组的几种特性分析,提出了基于Phoenix的IR的数组对象建模方法,采用该方法实现了一个单元测试工具CUTG。试验表明,该方法可以准确地解释复杂的数组对象,并自动产生测试例输入。
程序符号执行中的数组分析
【摘 要】
：
符号执行中复杂结构语义的建模决定了其分析结果的精度。通过对符号执行中数组的几种特性分析,提出了基于Phoenix的IR的数组对象建模方法,采用该方法实现了一个单元测试工具C
【机 构】
：
国防科学技术大学继续教育学院
【出 处】
：
长江大学学报自然科学版：理工卷
【发表日期】
：
2010年1期
其他文献
去年特别是进入第四季度以后，受原材料涨价，进口减少、出口增加等多种因素影响，尿素等部分农资价格大幅度上涨。针对这一情况，为保护农民利益，减轻农民负担，调动农民生产积极性，促进
目前,农业生产上越来越突出的一个存在问题,就是不少地方的农民没有坚持科学种田,生产怕麻烦,图方便,用地不养地,忽视调茬轮作,忽视有机肥,盲目加大使用化肥量,焚烧秸草、破
目的探讨肿瘤放疗病人健康教育实施现状及护理对策。方法分析肿瘤放疗病人健康教育实施现状,针对不同的问题制定相应的护理对策。结果肿瘤放疗病人健康教育实施现状为,患者及
近年来,社会上出现的一系列伤害儿童的恶性事件引起了社会的广泛讨论,困境儿童一词频频出现在新闻媒体和政府文件当中,困境儿童问题已逐渐成为政府和社会大众共同关注的社会
目前我国社会不公平表现为收入差距过大,造成收入差距过大的主要原因是生产领域中非正常收入大量存在,这种收入难以通过再分配有效调节。十六届五中全会强调“分配过程公平”
模仿是声乐教学中的一项重要手段,是初学者步入声乐艺术殿堂之门必不可少的一级台阶,只有越过外在的模仿阶段,步入内在模仿阶段,把自己所喜欢的前辈歌唱家中有特色的声音、方
根据模糊优选理论建立了滑坡治理方案优选模型，以某滑坡治理工程为例．介绍了该模型的具体运用。研究表明，运用模糊优选理论优选滑坡治理方案能有效减少主观因素的影响．优选结果准
1测定方法 依据GB／T8572-2001《复混肥料中总氮含量的测定蒸馏后滴定法》。将试样消化处理，各种形态的氮全部转化为铵盐，从碱性溶液中蒸馏出氨，吸收于过量硫酸溶液中，以甲基红-亚