PAG – an efficient program analyzer generator

  • Florian Martin
Special section on program analysis tools

The program analyzer generator PAG described in this paper attempts to offer the best of both worlds, specification languages based on the clean theory of abstract interpretation and efficient implementation methods from the theory of data flow analysis. PAG has a high level functional input language to specify data flow analyses. It offers the generation of complex data structures and is therefore not limited to bit vector problems. PAG generated interprocedural analyzers can be easily integrated into existing compilers.

PAG has successfully been used in the ESPRIT project COMPARE to generate several analyzers (including alias analysis and constant propagation) for industrial quality ANSI-C and Fortran90 compilers, and is now marketed by the spin-off company AbsInt.A simplified version of PAG can be interactively tested over the Web.

Key words: Data flow analysis – Specification and generation of analyzers – Abstract interpretation – Interprocedural analysis – Compiler construction 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Florian Martin
    • 1
  1. 1.Universität des Saarlandes, FB14 Computer Science Department, P.O. Box 151150, D-66041 Saarbrücken, Germany; E-mail: florian@cs.uni-sb.deDE

Personalised recommendations