PAG – an efficient program analyzer generator

  • Florian Martin
  • Published 1998 in
    International Journal on Software Tools for…


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… (More)
DOI: 10.1007/s100090050017

24 Figures and Tables



Citations per Year

104 Citations

Semantic Scholar estimates that this publication has 104 citations based on the available data.

See our FAQ for additional information.

  • Presentations referencing similar topics