Value Flow Graph Analysis with SATIrE

Scalable Program Analysis

计算机科学;物理学

Gergö Barany

Others  :  http://drops.dagstuhl.de/opus/volltexte/2008/1570/pdf/08161.BaranyGergoe.Paper.1570.pdf
PID  :  10615

学科分类：计算机科学（综合）

来源: CEUR

【 摘 要 】

This work discusses implementation of partial redundancy elimination using the value flow graph, a syntactic program representation modeling semantic equivalences. It allows the combination of simplesyntactic partial redundancy elimination with a powerful semantic analysis. This yields an optimization that is computationally optimal and simpler than traditional semantic methods.A source-to-source optimizer for C++ programs was implemented using the SATIrE program analysis and transformation system. Two tools integrated in SATIrE were used in the implementation: ROSE is a framework for arbitrary analyses and source-to-source transformations of C++ programs, PAG is a tool for generating data flow analyzers from functional specifications.