摘要
Ada语言源代码经编译器编译后生成一个后缀名为Ali的文本文件。该Ali文件中包含了丰富的有关Ada源代码的信息。该文剖析了由M1750Ada编译器编译生成的Ali文件内包含的具体信息内容,并介绍了基于Ali文件的分析并结合Lex词法分析工具来实现ADA语言静态分析器的过程。
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.
作者
朱烨
朱宏明
ZHU Ye, ZHU Hong-ming(SAST-Tongji Spaceflight Embedded Computing Lab, School of Software Engineering, Tongji University, Shanghai 201804, China)
出处
《电脑知识与技术》
2008年第11X期1406-1410,共5页
Computer Knowledge and Technology
