DocumentCode
3257497
Title
Dynamic data flow analysis of C programs
Author
Caliss, F.W. ; Cornelius, Barry J.
Author_Institution
Dept. of Comput. Sci., Durham Univ., UK
Volume
2
fYear
1988
fDate
0-0 1988
Firstpage
518
Lastpage
523
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/HICSS.1988.11845
Filename
11845
Link To Document