【摘 要】
：
变量区间分析是程序代码数据流分析的重要部分。固件反汇编代码存在字节运算和位运算两类运算,当变量取值范围较大时,依次迭代法不能高效地分析经位运算后的结果的取值区间。
【基金项目】
：
国家高技术研究发展计划（863,2009AA01Z434）资助
论文部分内容阅读
变量区间分析是程序代码数据流分析的重要部分。固件反汇编代码存在字节运算和位运算两类运算,当变量取值范围较大时,依次迭代法不能高效地分析经位运算后的结果的取值区间。提出一种快速位运算方法,即根据变量取值区间范围,先将变量转化为不确定位形式再进行位运算;提出一种区间生成算法,即把不确定位形式转化为区间来实现字节运算。实验结果表明,该基于位运算的固件代码变量区间分析方法在程序变量取值范围较大时效率远远高于依次迭代法,而且在各种变量取值区间范围内所需时间稳定,并随着区间范围的增大,其有略微下降趋势。
其他文献
<正> 一、前言随着计算机 CAD/CAM 技术在各设计领域的普及,喷墨绘图普遍采用,液态喷墨绘图仪具有整机价格低,工作噪声小,耗电省,机身重量轻,输出文字、图形便利等优点,是近
随着我国政治、经济体制改革的推进，作为充分调动生产力最主要因素——人的主观能动性的改革，即干部人事制度改革显得更加迫切和重要。近几年来，《国家公务员法》的颁布、特别是
中国船舶重工集团公司七六所建所三十五年来,历任领导都十分重视防火工作,形成了所长—科长—安全消防员—干部、职工的四级防火网,常抓不懈,警钟长鸣。组织职工进行消防知识
<正> 日前,天津汽车工业(集团)有限公司举办了“利用档案创效益和档案编研工作”培训班,有九十余人参加。近几年来,天汽集团各级领导越来越重视和支持档案工作。经过档案人员
<正> 高校档案工作是高校的重要基础工作之一,它在高校的各项工作中发挥着不可缺少的作用。如今,随着我国改革开放的不断深入,随着计划经济向市场经济的转轨,高等教育也需要
<正> 随着我国经济体制改革的深入发展,企业由承包责任制继而又转向生产、经营、销售、用工、分配、技术五自主。这一质的飞跃,使所有企业的“焦点”都集中于“市场”,市场的
数字图像在成像过程中会产生特定的背景噪声,如果两幅不同噪声的图像拼接在一起,篡改区域和其他区的噪声会有差异。提出一种基于偏度统计特性的背景噪声估计算法,其通过对图像分块计算每块的噪声标准差,从而检测出噪声异常部分以达到篡改检测的目的。算法利用DCT变换去除原图细节部分,利用偏度统计特性估计噪声,利用条件最小值法求出噪声的标准差。算法改进了迭代求条件最小值法,利用微分方法求取最小值,避免了初始值设定
<正> 为认真学习贯彻《中华人民共和国档案法实施办法》,燕山大学印发了“关于转发《中华人民共和国档案法实施办法》的通知”,并于10月27日举办了全校专兼职档案员学习班,60
<正> 当前,我国文书档案卷内文件采用两种装订方法,即:成卷装订、单份装订。成卷装订是五六十年代就采用的方法,而单份装订是近几年采用的方法。我所文书档案从1984年开始改
随着信息化建设的不断发展和提高，高校信息安全的重要性日渐突显。结合高校信息安全管理实际，提出高校信息安全体系框架，并对其所涵盖的安全策略、安全技术、安全组织与管理和运行保障四大要素进行了深入的研究分析，对学校信息安全管理工作有一定的参考价值。