论文信息 - Dynamic dataflow analysis

Dynamic dataflow analysis

Abstract This paper covers a comparison of the various solutions to some problems of dynamic dataflow analysis and proposes new solutions to some of these problems. It summarizes experiences of implementing and using several dynamic dataflow analysis systems. Some proposals about future directions and the essential features of automated dynamic dataflow analysis systems are also discussed in this paper.

Tsong Yueh Chen | P. C. Poole

[1] T. Y. Chen,et al. Data flow analysis for Cobol , 1984, SIGP.

[2] Frances E. Allen,et al. A Basis for Program Optimization , 1971, IFIP Congress.

[3] J. C. Huang,et al. Detection of Data Flow Anomaly Through Program Instrumentation , 1979, IEEE Transactions on Software Engineering.

[4] Fun Ting Chan,et al. AIDA–A dynamic data flow anomaly detection system for pascal programs , 1987, Softw. Pract. Exp..

[5] Leon J. Osterweil,et al. Omega—A Data Flow Analysis Tool for the C Programming Language , 1985, IEEE Transactions on Software Engineering.

[6] Leon J. Osterweil,et al. Dave—a validation error detection and documentation system for fortran programs , 1976, Softw. Pract. Exp..

[7] Leon J. Osterweil,et al. Data Flow Analysis in Software Reliability , 1976, CSUR.

[8] Tsong Yueh Chen,et al. COD - A dynamic data flow analysis system for Cobol , 1987, Inf. Manag..

[9] David Andrew Price. Program instrumentation for the detection of software anomalies , 1985 .

[10] Ira R. Forman. An algebra for data flow anomaly detection , 1984, ICSE '84.

[11] J C Huang,et al. Program Instrumentation and Software Testing , 1978, Computer.