PAG 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: http://www.cs.uni-sb.de/~martin/pag/ http://www.absint.de/pag2.html 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: None

Other Links: None Mailing Lists/USENET News Groups: None User Comments: None See A Screen Shot? (Not Yet)

  SAL Home   |   Programming   |   Languages & Compilers