静态分析器应用研究

来源 :微型机与应用 | 被引量 : 0次 | 上传用户:YING1216
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
以Ada语言中的子程序规格说明为基础,阐明了静态分析器在软件开发环境中的作用和意义,介绍了分析器数据结构的构成及语法树的构造方法,并用2个实例对静态分析的过程作了说明.
其他文献
当代中国意识形态领域的发展态势使社会主义意识形态建设面临着严峻的挑战,迫切需要增强吸引力。构建社会主义和谐社会对增强意识形态吸引力也提出了新要求。我们必须发挥社会
应用Simulink设计和封装"数字电路虚拟实验系统"所需的虚拟器件的一些方法和技巧。
<正>一、竞赛题及参考答案题目(2017年全国高中数学联赛新疆预赛高一)如图1,边长为2的等边三角形△ABC中,D是BC的中点,E、F分别是边AB、AC上的动点.(1)若∠EDF=120°,求证:AE
<正> 在稀土材料的光学特性研究中,薄膜光学特性的研究还很少见到。为此,我们测量了氯化钕、氧化钕薄膜的红外透射特性及其折射率,表明Nd2O3可作为一种高折射率、透红外的光
学生书写习惯的培养是一个需要长期坚持的过程,也是形成学生良好意志、品质的过程,教师必须从学生的日常学习、生活抓起,充分利用好教育的最佳时期,教育、引导学生养成良好的
重点介绍特变电工衡阳变压器有限公司重型钢结构厂房的施工和安装难度,实际施工中的测量,安装质量等方面的精度、施工方法等,供同类工程参考.
内蒙古工业大学科技实验楼的南、北两子楼在第9、第10层处架空连接,采用重型钢桁架结构实现跨越.介绍了该桁架的现场测试工作,包括测试方案、杆件应力、节点刚性、结构挠度等