Generating Analyzers with PAG

Abstract

interpretation. These algorithms are rather complex � their implementation is therefore a non{trivial task and error{prone. However, since they are based on a common theory, theyhave large similar parts. We conclude that analyzer writing better should be replaced with analyzer generation. We present the tool PAG that has a high level functional input language to specify data ow analyses. It o ers the speci cation of even recursive data structures and is therefore not limited to bit vector problems. PAG generates e cient analyzers which can be easily integrated in existing compilers. The analyzers are interprocedural, they can handle recursive procedures with local variables and higher order functions. PAG has successfully been tested by generating several analyzers (e.g. alias analysis, constant propagation, interval analysis) for an industrial quality ANSI-C and Fortran90 compiler. This technical report consists of two parts � the rst introduces the generation system and the second evaluates generated analyzers with respect to their space and time consumption