【摘 要】
：
程序静态分析(Program Static Analysis)是指在不运行代码的方式下,通过词法分析、语法分析、控制流分析等技术对程序代码进行扫描,验证代码是否满足规范性、安全性、可靠性
【基金项目】
：
“核高基”科技重大专项:操作系统内核分析和安全性评估(2012ZX01039-004)资助
论文部分内容阅读
程序静态分析(Program Static Analysis)是指在不运行代码的方式下,通过词法分析、语法分析、控制流分析等技术对程序代码进行扫描,验证代码是否满足规范性、安全性、可靠性、可维护性等指标的一种代码分析技术。首先对程序静态分析的特点、常用静态分析技术、静态分析实现方式进行描述,然后通过一个实例讲解C语言静态代码分析中函数与变量的调用关系的实现方法,总结了现今在C语言调用关系分析中可以借鉴的工具与实现方式。
其他文献
材料科学是尖端科学研究的重要领域,稀有元素在新型材料研究中占有重要地位。本人介绍了稀有金属元素在磁性材料、光学材料、电子材料、近代陶瓷、特种金属及超导材料研究中
本文综述了新型半导体材料非晶硅在光、颜色、图象、压力、功率、化学等各类传感器中的应用研究现状及其发展前景。
网络为企业提供了有形的、无形的资源利益,进而影响企业的创新能力。对于企业来说,如何在企业网络中,通过网络嵌入性获取更多的知识、能力,提升企业创新能力,显得尤为重要。
随着以微博为代表的在线社交网站的发展,微博用户之间形成了复杂的社会网络。针对微博社会网络,研究了影响微博用户之间关系形成的各种因素,提出了基于链路预测的微博用户关
文章从中日两国在家庭教育的价值取向、教育内容和方法上互相借鉴,取长补短,以构建最理想的家庭教育方式。
严复是近代西学的倡导者.他高度赞扬科学技术的作用,认为科学技术必须造福于人类、利国利民,而不能成为战争的工具;强调人类应讲求科技合作,以促进科技发展;指出探索科学必须
采用more值测算长三角城市群产业结构升级速率,灰色关联度来测算长三角城市群间协同效应程度,运用多元回归模型来探索影响长三角城市群协同效应的驱动因素,结果表明随着年份
本文对在国产设备2500B、500B、300B 上生产的钨丝直径进行了连续测试,分析了丝径不均的原因,提出了控制办法,并进行对比试验,取得良好的结果。最后提出了国产设备生产钨丝同
经济的飞速发展让人们的收入有了大幅度的提高,人们已不再满足于基本的物质需求,现在有越来越多的人利用闲暇时间从事旅游活动。高校大学生课业负担比较重,他们迫切希望通过
<正> 消除氧化雾缺陷是提高单晶硅片质量的关键之一。氧化雾缺陷是由重金属杂质引起的,它的危害在于它能导致氧化层错,使器件成品率下降。消除氧化雾缺陷主要有以下两方面措