一个静态分析器的设计与实现

来源 :微机发展 | 被引量 : 0次 | 上传用户:cqcd1996
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
从理论上阐述了软件静态分析的概念、意义及分类,以及静态分析器与编译器的不同,并详细、系统地介绍了一个静态分析器的设计与实现.描述了它的关于软件系统信息和模块信息提取功能,又从实现的角度介绍了该分析器程序的系统结构及数据结构.初步的实践证明上述静态分析器可以提高数据采集效率,能够对程序系统信息及模块信息进行有效提取.
其他文献
朝阳地处丘陵山区,充分利用其地形小气候特点.可获得较好的光照、温度条件。本课题在对不同坡向的大棚各项气象要素进行观测分析的基础上,进行了蔬菜生理生态测定研究,为充分利用
目的:观察4株从临床分离产超广谱内β内酰胺酶(ESBLs)及AmpC酶肺炎克雷伯氏杆菌的多重耐药情况,分析其中整合子的存在, 对整合子的特性进行研究,探讨整合子基因盒表达对肺炎
目的:评价复方二甲基硅油咀嚼片治疗急性消化系统症状的有效性和安全性.方法:采用多中心、随机、双盲、双模拟和对照的试验方法.选择具有2种或2种以上消化系统症状的患者138
目的了解罕见的乳腺组织细胞-肌母细胞样癌的病理形态学特征和鉴别诊断要点.方法应用常规病理及免疫组化技术,结合文献进行形态学观察和分析.结果 癌组织呈组织细胞-肌母细胞
介绍数据仓库系统的基本结构 ,讨论了建立数据仓库的几个关键技术和实现方法,并比较了各种方法 的优缺点,以便在数据仓库的实施中选择高效的技术方案。
混凝土硫酸盐侵蚀问题已经引起世界各国的共同关注,目前世界上有许多的国家已经开发出各种专家系统来解决这一问题,但由于混凝土抗硫酸盐侵蚀专家系统的领域知识复杂多样,很
目的:观察雄黄诱导哮喘豚鼠肺泡灌洗液中嗜酸细胞凋亡,探讨雄黄治疗支气管哮喘的机理。方法:经雄黄处理后的哮喘豚鼠肺泡灌洗液中嗜酸细胞为研究对象,嗜酸细胞凋亡的形态学观察采
目的:研究血管紧张素-(1-7)[Ang-(1-7)]对自发性高血压大鼠(SHR)一侧颈动脉去外膜血管结构和功能的影响。方法:24只SHR去除右侧颈动脉外膜后,随机分为3组(每组8只):SHR组、Ang-(1-7)组和Ang
目的:考察注射用纳米羟基喜树碱静脉推注给药后,家兔血浆药物浓度随时间变化趋势和药代动力学参数,并与注射用羟基喜树碱进行比较,评价纳米针药动学特性.方法:建立HPLC检测家
鉴于实时视频图像采集处理技术在安全监控、视频会议、网络聊天等领域正得到越来越广泛的运用,文中介绍如何利用Video for Windows库函数来构建视频图像的采集框架;由于回调