节点文献

基于ALI的ADA语言静态分析器的研究与实现

Research and Implementation of Ada Language Static Analyzer Based on ALI

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具，请取消加速工具后下载。

【作者】 朱烨； 朱宏明；

【Author】 ZHU Ye, ZHU Hong-ming(SAST-Tongji Spaceflight Embedded Computing Lab, School of Software Engineering, Tongji University, Shanghai 201804, China)

【机构】 同济大学软件学院上海航天-同济大学航天嵌入式计算机技术实验室；

【摘要】 Ada语言源代码经编译器编译后生成一个后缀名为Ali的文本文件。该Ali文件中包含了丰富的有关Ada源代码的信息。该文剖析了由M1750Ada编译器编译生成的Ali文件内包含的具体信息内容,并介绍了基于Ali文件的分析并结合Lex词法分析工具来实现ADA语言静态分析器的过程。

【Abstract】 Ada language source code can generate a file suffixed by Ali.The Ali file contains much information about Ada source code.This paper dissects the detail information of Ali file generated by M1750 Ada compiler, and then introduces the process of implementing the ADA language static analyzer based on analysis of Ali file and the Lex lexical analysis tool.

【关键词】 Ali文件； Ada语言； Lex； 静态分析器；
【Key words】 ali file； ada language； lex； static analyzer；
  • 【文献出处】 电脑知识与技术 ,Computer Knowledge and Technology , 编辑部邮箱 ,2008年33期
  • 【分类号】TP312.1
  • 【下载频次】28
知网节下载
节点文献中： 

本文链接的文献网络图示:

本文的引文网络
二级参考文献(0)
参考文献(0)
共引文献(0)
节点文献
同被引文献(0)
引证文献(0)
二级引证文献(0)