Program-Analysis.com
Title
PAG/WWW: Static Program Analysis
Description
Excerpted from the website:
- Introduction
- 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 automatic tool support for generation of efficient analyzers from concise specifications. However, while PAG makes it easy to create an analyzer and to integrate the analyzer into a compiler, it is not appropriate for program analysis novices, because it requires deep understanding of the PAG internals to get started.
Languages
English
