【摘 要】
：
传统C/C＋＋代码的预处理分析利用符号执行推断预处理中自由变量条件表达式的值,但是该算法的时间复杂度是指数型的。为降低时间复杂度,提出一种快速符号执行算法。源代码通过词
【基金项目】
：
南京航空航天大学基本科研业务费专项科研基金资助项目(NS2010069)
论文部分内容阅读
传统C/C＋＋代码的预处理分析利用符号执行推断预处理中自由变量条件表达式的值,但是该算法的时间复杂度是指数型的。为降低时间复杂度,提出一种快速符号执行算法。源代码通过词法分析器得到预处理变量和路径条件,为预处理变量建立节点,把路径条件转化为条件表达式,通过符号执行算法将两者整合为条件值c-value的形式,最终显示预处理结束后每一个预处理变量的条件值。实例结果表明,该算法能免去传统符号执行中对于路径可行性的分析,从而降低时间复杂度。
其他文献
山东省淄博市的周村被称为丝绸之路的源头之一，与广东佛山、江西景德镇、河南朱仙镇并称为中国的四大旱码头。如今周村仍保留了一种历史悠久的特色食品——烧饼。
步入新世纪以来,我国社会经济迅猛发展,同时也需要不断加大对基本建设的投入。建筑施工单位为获取高质量的施工技术资料,很有必要建立健全档案资料的搜集与管理制度,明确施工
服装企业成本控制在企业的管理控制活动中占据着较为重要的位置,同时也是企业所在激烈的市场竞争中获取优势的前提基础。文章首先对服装企业进行成本控制重要意义进行了阐述
以线性Coons曲面模型为基础,研究了平面交叉口立面设计在线性Coons曲面模型上定义的基本运算和Coons曲面片的划分方法.研究发现该模型可比较精确地描述平面交叉口的立面,且适
通过大孔树脂吸附率与解吸率的测定,筛选适合对水飞蓟果托总黄酮进行纯化的最佳树脂类型;通过研究不同因素对树脂吸附和解析效果的影响,确定水飞蓟果托总黄酮的纯化工艺,并研
系统梳理了国内外氨排放核算方法体系及相关模型,比较和评价了基于物质流核算和基于阶段管理模型的两类模型方法的优缺点和适用范围,认为在地区范围基于总氨态氮的物质流核算
对大数据技术产生的背景与基本特征进行分析,总结了大数据技术对图书馆数字阅读推广的影响,探讨了读者阅读行为数据应用于图书馆数字阅读推广工作的具体路径。
沥青路面检测是沥青路面建设以及养护的一项重要内容,其对延长沥青路面的寿命来说有着重要作用。在介绍公路沥青路面质量要求的基础下,对多种施工现场试验检测技术进行了重点
本课题主要围绕海藻酸钠与稀土离子的相互作用体系,利用湿法纺丝技术制备海藻酸纤维。海藻酸钠中甘露糖醛酸（M）与古罗糖醛酸（G）单元的比例M/G不同会导致海藻酸钠的物理化学性质如
目的分析滨州地区供血者ABO亚型的分子机制、分布情况。方法采用试管法对微板法筛查出的正反定型不符血样做进一步血型血清学分析,并进行亚型确认。对亚型标本进行血清学分析