Research and Implementation of Ada Language Static Analyzer Based on ALI
Hongming Zhu · Computer Knowledge and Technology · 2008
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.