Results

**1 - 5**of**5**### Automatic Generation of Solvers for Multisource Data Flow Analysis Problems

, 2004

"... Much of the success of data flow analysis has come from a well-developed unified ..."

Abstract
- Add to MetaCart

Much of the success of data flow analysis has come from a well-developed unified

### SUIF Program Analysis Using System Z2

"... Interpreter of SUIF Program in SUIF Z2 Viewer Analysis Output Z2 SUIF Reader given generated codes user input output Figure 1: The System Z2 I = oe:x: case (oe) of oe an if-statement: I 1 (oe; x) oe a procedure call: I 2 (oe; x) .... oe a constant: I n (oe; x) where I i 's are eval ..."

Abstract
- Add to MetaCart

Interpreter of SUIF Program in SUIF Z2 Viewer Analysis Output Z2 SUIF Reader given generated codes user input output Figure 1: The System Z2 I = oe:x: case (oe) of oe an if-statement: I 1 (oe; x) oe a procedure call: I 2 (oe; x) .... oe a constant: I n (oe; x) where I i 's are evaluation rules for each program construct and usually involve recursive calls of I . The collecting analysis of a program P from the abstract interpreter definition I is the computation of Tabulate(F I ; \Sigma P ; x 0 ) where F I is the associated functional of the recursive definition of I , that is, F I = I:oe: : : : I : : :, \Sigma P is the set of program points of a program P , and x 0 is the start pre-state. The analysis result is two tables T X and T Y . These tables represent, for each program point oe, the pre-state T X (oe) 2 X and the post-state T Y (oe) 2 Y , which describe the states that occur before and after that point during execution. The Tabulate function computes the fi...

### Z1: A Data Flow Analyzer Generator

"... We have developed a software tool called Z1 by which one can quickly achieve an accurate yet affordable program analysis. The user writes an analysis specification and sets a parameter for a desired cost-accuracy tradeoff. The tool then creates an executable analyzer that has the specified performan ..."

Abstract
- Add to MetaCart

We have developed a software tool called Z1 by which one can quickly achieve an accurate yet affordable program analysis. The user writes an analysis specification and sets a parameter for a desired cost-accuracy tradeoff. The tool then creates an executable analyzer that has the specified performance balance. Z1 has been used for developing both conventional and non-conventional flow analyses. These analyses were for programs written in C, FORTRAN, and Standard ML, without restriction upon the programs treated. We present experimental data showing the performances of Z1 for analyzing C, FORTRAN, and Standard ML programs. Index Terms: data flow analysis, abstract interpretation, global program analysis, collecting analysis, lattice, projection Correspondence: Kwangkeun Yi, kwang@research.att.com AT&T Bell Laboratories, Rm 2A-421, Murray Hill, NJ 07974, USA. A preliminary version of this paper appeared in the Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Prog...