Title :
Dynamic data flow analysis of C programs
Author :
Caliss, F.W. ; Cornelius, Barry J.
Author_Institution :
Dept. of Comput. Sci., Durham Univ., UK
Abstract :
A description of a dynamic data-flow analysis method for C programs is given. The method extends the work of J.C. Huang (IEEE Trans. Softw. Eng., vol.SE-5, no.3, p.226, 236, 1979) to array elements, struct variables, pointers, and dynamic variables. A different approach is used for the analysis of subroutines. For most kinds of variables, a full set of operations is permitted, and for pointer variables, pointer arithmetic, and pointer-array notation interchanging is allowed. The method can be used as the basis for a tool for detecting anomalies in C programs.<>
Keywords :
C language; program debugging; software engineering; C programs; array elements; dynamic data-flow analysis; dynamic variables; notation interchanging; pointer arithmetic; pointer variables; pointer-array; pointers; struct variables; subroutines; Algorithm design and analysis; Application software; Arithmetic; Computer science; Data analysis; Data engineering; Debugging; Performance analysis; Software maintenance; Testing;
Conference_Titel :
System Sciences, 1988. Vol.II. Software Track, Proceedings of the Twenty-First Annual Hawaii International Conference on
Conference_Location :
Kailua-Kona, HI, USA
Print_ISBN :
0-8186-0842-0
DOI :
10.1109/HICSS.1988.11845
