【摘 要】
：
符号执行技术出现较早,近些年在软件脆弱性分析领域得到了更多的关注和应用.从介绍符号执行技术的基本原理入手,给出了符号执行的典型算法;从程序状态空间爆炸、程序全局分析
【机 构】
：
信息工程大学信息工程学院,河南郑州450002
【出 处】
：
2012河南省计算机大会暨学术年会
论文部分内容阅读
符号执行技术出现较早,近些年在软件脆弱性分析领域得到了更多的关注和应用.从介绍符号执行技术的基本原理入手,给出了符号执行的典型算法;从程序状态空间爆炸、程序全局分析和具体符号执行结合三个技术点对单路径符号执行的进展进行了总结;同时,对已出现的应用新型计算模型实现的并行符号执行系统的技术特点进行分析;最后,对符号执行技术的下一步发展趋势和关键技术进行了展望.
其他文献
混凝土材料是典型的脆性多孔材料,实现混凝土结构的刚性自防水性能,其关键问题是降低混凝土自身的渗透性,同时通过提高混凝土的韧性来提高其抗裂性.聚合物乳液加入到混凝土材
当前,我国水资源监控能力总体薄弱,缺乏完善的监测系统和全面的监测信息,尚未形成满足实行最严格水资源管理制度要求的监测、计量和信息管理能力,在一定程度上制约了制度的落
精确的用水数据是保障最严格水资源管理制度实施的基础支撑和重要保障.作为用水统计的重要方面,工业用水统计工作任务繁重、基础薄弱、统计误差大、数据可靠度低、统计周期长
用细观模型进行砌体结构有限元分析时,通常要用到砖和砂浆的本构关系.本文通过对20个烧结页岩砖、20个非烧结蒸压灰砂砖及40个混合砂浆棱柱体进行了轴心受压试验,得到了非烧
2008年汶川地震中,中小学砌体结构校舍造成了巨大破坏,造成了巨大的人员伤亡和财产损失,为了避免悲剧重演,国家实施了校舍安全工程.南京某中学教学楼为砌体—框架混合结构,本
为了解蒸压加气混凝土砌体的受压性能,在标准试验方法基础上引入刚性元件,对7组共29个砌体短柱进行了轴心受压试验.试验研究表明:蒸压加气混凝土砌块的强度利用率较高,受压破
为了解蒸压加气混凝土砌体的抗剪性能,进行了36个试件的通缝抗剪试验.试验结果表明,通缝受剪破坏存在界面破坏、砂浆断裂和砌块拉断3种形态,影响通缝抗剪强度的主要因素是砂
本文针对长距离输水渠系发生水污染事故的管理问题展开研究,基于污染物在渠系的传播过程,以把污染水体控制在系上游一个或几个渠池内为控制目标实现先控制污染范围再治理污染
本文采用CE-QUAL-W2建立了三峡水库水温模型,利用三峡水库实测下泄水温数据,率定和验证了模型主要参数,并采用模型预测了三峡水库提前蓄水情景下的下泄水温变化情况.研究结果
经过三步反应合成了三个含DOPO基团的N-对甲苯基、对氟苯基和对甲氧基苯基的1,3-苯并噁嗪化合物3a--3c.首先,2-羟基苯甲醛分别与对甲基苯胺、对氟苯胺和对甲氧基苯胺进行缩合