Abstract

Syntax Trees Roger F. Crew Microsoft Research ASTLOG: A Language for Examining Abstract Syntax Trees Roger F. Crew Microsoft Research Microsoft Corporation Redmond, WA 98052 rfc@microsoft.com Abstract We desired a facility for locating#analyzing syntactic artifacts in abstract syntax trees of C#C++ programs, similar to the facility grep or awk provides for locating artifacts at the lexical level. Prolog, with its implicit pattern-matching and backtracking capabilities, is a natural choice for suchanapplication. We have developed a Prolog variant that avoids the overhead of translating the source syntactic structures into the form of a Prolog database; this is crucial to obtaining acceptable performance on large programs. An interpreter for this language has been implemented and used to #nd various kinds of syntactic bugs and other questionable constructs in real programs like Microsoft SQL server #450Klines# and Microsoft Word #2Mlines# in time comparable to the runtime of th...

Citations

1128	The C Programming Language - Kernighan, Ritchie - 1988
669	A Complexity Measure - McCabe - 1976
168	The Art of Prolog: Advanced Programming Techniques - Sterling, Shapiro - 1986
68	Visualizing and querying software structures - Consens, Mendelzon, et al. - 1992
39	de Vanter, The Pan language-based editing system - Ballance, Graham, et al. - 1992
37	CENTAUR: the system - Despeyroux, Lang, et al. - 1989
29	flexible syntactic pattern matching and processing - Fast - 1996
27	A*: A Language for Implementing Language Processors - Ladd - 1995
16	Generating testing and analysis tools with Aria - Devanbu, Rosenblum, et al. - 1996
10	GENOA: A customizable languageand front-end independent code analyzer - Devanbu - 1992