Data flow analysis has been successfully utilized in discovering errors in computer programs. In thesis, we discuss techniques of detecting data flow anomalies in C language programs associated with the pointer variable and aliasing of the variable names. In our approach, operations upon variables and state transitions caused by such operations are represented in a state transition diagram to facilitate the analysis of data flow.
We also enable the static data flow analysis for a program containing loop constructs by converting it first into an equivalent program without loops. An automated data flow analyzer for C programs has been implemented on a VAX 11/780 running under the 4.2 BSD Unix system.