SAL Home PROGRAM Languages & Compilers


In order to produce high-quality code, compilers have to rely on the results of static program analyses. To date implementing these analyses has been difficult, expensive and error-prone.

The PAG Program Analyzer Generator provides for a generation of efficient analyzers from concise specifications. PAG-generated interprocedural analyzers can be easily integrated into existing compilers.

PAG has been successfully used in an ESPRIT project to generate several analyzers (including alias analysis and constant propagation) for industrial grade ANSI-C and Fortran90 compilers. One of the main reasons it is currently widely used in university circles is because of its ability to generate efficient code (ANSI-C) and enable analyzers to be generated which are flexible, maintainable and portable.

Current Version:   ??

License Type:   Research License is Available

Home Site:

Source Code Availability:   ??

Available Binary Packages:

  • Debian Package:   No
  • RedHat RPM Package:   No
  • Other Packages:   ??

Targeted Platforms:

Various UNIX dialects including Linux.

Software/Hardware Requirements:


Other Links:

Mailing Lists/USENET News Groups:


User Comments:

  • None

See A Screen Shot? (Not Yet)

  SAL Home   |   Programming   |   Languages & Compilers

Comments? SAL@KachinaTech.COM
Copyright © 1995-2001 by Herng-Jeng Jou
Copyright © 1997-2001 by Kachina Technologies, Inc.
All rights reserved.