【摘 要】
：
对非结构化的程序代码进行理解分析对代码理解能力不强的测试人员存在一定难度。为了减轻静态代码分析的难度,本文首先采用程序切片算法将程序进行预处理,利用过程蓝图对代码
【基金项目】
：
北京市教委人才培养模式创新实验区项目（京教函[2009]630号）,北京市教委科技计划面上项目（KM201311232013）.
论文部分内容阅读
对非结构化的程序代码进行理解分析对代码理解能力不强的测试人员存在一定难度。为了减轻静态代码分析的难度,本文首先采用程序切片算法将程序进行预处理,利用过程蓝图对代码进行可视化操作形成程序的中间表示形式抽象语法树。然后对其构造和特点进行研究,提出抽象语法树的遍历算法。通过该算法得到程序的控制流图。最后,利用控制流图和控制树,对静态代码进行高效的控制流分析,监测这些代码是否满足安全性、可靠性等方面的指标,为检测和处理软件缺陷降低成本。
其他文献
本文介绍了移动学习定义和特点,并对《计算机基础》课程的学情进行了分析,针对课程特点、移动教育中学习的方式、时间、地点、主体有灵活多变的特性探讨了移动学习资源建设的
介绍了数字制造技术的概念、理论基础 ,分析了轮胎模具的现状与发展 ,讨论了轮胎模具的数字制造技术。
影视产业与文旅产业在“大文化、泛娱乐、互联网+”的时代背景下跨界融合,本文从影视产业视域对文旅产业进行观照,从要素资源、业态开发到产业价值链重构对推进“影视+文旅”
数据爆炸的年代多元化数据大量涌现,大数据的技术和市场正在快速发展,应充分利用现有的云计算技术对大数据进行管理分析,挖掘出数据的潜在价值,从而促进企业的生产经营活动。
“目前，受多方影响，我国适龄人口生育意愿偏低，总和生育率已跌破警戒线，人口发展进入关键转折期。”民政部部长李纪恒近期在撰文中如是表示。这一背景下，“放开三孩”引发了又一轮热议。面对持续走低的出生人口、生育率以及不断加快的老龄化进程，“放开三孩”会否成为缓解形势的“解药”？“全面二孩”的成效究竟如何？ 生育形势严峻已是不争的事实。国家统计局的数据显示，2019年，我国全年出生人口1465万人，人口
通过对塑料箱注射模的结构设计改进，阐述了该类模具强度计算方法，以解决减小模具总体尺寸，提高模具强度的问题。
高效精确的周跳探测与修复算法是实现高精度导航定位的前提条件。鉴于常规算法易受到电离层影响,利用一个三频无几何无电离层码相组合和两个无几何相位组合构建周跳检验量,该周跳检验量能够有效地减弱电离层活动对周跳探测的影响。通过三频全球导航卫星系统(global navigation satellite system, GNSS)实测数据对研究结果的正确性和有效性进行验证,计算结果表明研究结果能够在强电离层
高校的电子文件越来越多,给档案工作带来了新的挑战,文章总结了高校电子文件管理的不足之处,并在对国内学者在这一领域的研究进行综述的基础上,主要基于全程管理与前端控制的
首先阐述了在CAD CAM集成环境下编制数控加工工艺的过程以及优化加工参数的必要性 ,接着 ,分析了需要优化的加工参数。文章详细阐述了优化模型的建立和算法设计问题