软件静态测试中C/C++抽象语法树的生成

来源 :测试技术学报 | 被引量 : 0次 | 上传用户:q4828079
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文中C/C++抽象语法树是利用GNU提供的标准编译器生成工具Lex和Yacc,由parser程序通过调用lexical(词法分析程序)进行语法分析生成的. 为了进行基于系统崩溃的故障模型的软件静态测试,需要从抽象语法树上获取相关的数据依赖关系和定义使用链.这就要求在原有抽象语法树的基础上进行语义分析,产生最终的抽象语法树.论文描述了C/C++抽象语法树及其语法和语义分析过程的具体方法.
其他文献
山茱萸Cornus of ficinalis Sieb.et Zucc.为山茱萸科植物。因其果型似大枣,当地居民称其为“枣皮”和“枣皮树”。其果皮和果肉为名贵中药称“山萸肉”,有补益肝肾、涩精敛汗、
<正>挪威绩效审计是从上世纪70年代逐步发展起来。一系列的法律依据为其提供了发展的土壤。挪威《政府账目审计法》第1a款规定公署应对政府当局的处理情况进行控制;《审计条
本研究以栀子果为原料,提取栀子黄色素。以提取栀子黄色素过程中产生的含苷废液为实验对象,一方面利用大孔吸附树脂对含苷废液进行精制纯化,得到较高纯度的栀子苷;一方面通过
本文报道了各向异性石墨烯气凝胶的制备方法及其在相变储能中的应用。以气相扩散法引入"氢键交联剂",实现对氧化石墨烯液晶的溶胶-凝胶转化,并进一步制备得到各向异性石墨烯
山东省某城市污水处理厂进水中工业废水比例超过50%,污水厂采用水解酸化+AAO工艺,该厂处理规模为8万吨/日,出水水质达到国家《城镇污水处理厂污染物排放标准》 (GB 18918-2002
目的 探讨心理护理在急性闭角型青光眼护理中的重要性。方法 将本病区诊治的128例急性闭角型青光眼患者随即分为对照组63例(未给予心理护理)和研究组65例(应用心理护理),对比分析
<正> 国务院朱总理在考察北京国家会计学院时指出:所有会计人员必须诚信为本,操守为重,遵循准则,不做假帐。这就为清理、治理和防范假帐,加强职业道德建设指明了方向。我们根
会议
杨树为杨柳科落叶高大乔木,根系发达,枝叶繁茂,适应性强,抗旱、抗寒、耐盐碱,是我国北方地区营造速生用材林、农田防护林、水土保持林、固沙林、护岸林以及城市绿化的主要树
本文对臭柏的扦插育苗方法,插后管理技术,炼苗移栽技术等进行了系统的总结,对臭柏的苗木繁育提供了参考依据.
<正> 由于化学纤堆工业的兴起,国外针织工业从六十年代初开始发展十分迅速,产量逐年增加,花色品种日益繁多,新设备、新工艺、新技术、新材料得到广泛应用,针织工业在历史悠久