Advantages of using PAG
Generated analyzers can handle large programs.
Reduction of implementation times of complex analyses due to the power of the specification mechanism.
Newly developed analyses can be tested easily on a large set of real world programs.
Development of provably correct optimisation phases for compilers is possible now due to the underlying theory of abstract interpretation.