Abstract
We developed ACML as an XML-based markup language to describe the syntactic structure and static semantics for ANSI C program. This paper proposes a system called AXES, which has two features: (1) to extract information of static program analysis from an ACML document by syntactical pattern matching; and (2) to generate the information in well-known description formats (e.g. HTML). The program information extracted by the AXES can be used in a cross-referencer with a web browser. But it is difficult for existing cross-referencers (e.g. GNU GLOBAL, LXR, SPIE, and Cxref) to extract program information by syntactical pattern matching (e.g. @if($exp=$exp){}). The AXES produces a framework for advanced and flexible retrieval of program information based on syntactical pattern matching.
