论文信息 - Omega—A Data Flow Analysis Tool for the C Programming Language

Omega—A Data Flow Analysis Tool for the C Programming Language

This paper describes Omega, a prototype system designed to analyze data flow in C programs. Omega is capable of detecting certain types of common programming errors, or assuring their absence. Omega also addresses the problems of analyzing pointer variables.

Leon J. Osterweil | Cindy Wilson

[1] Murray Hill,et al. Lint, a C Program Checker , 1978 .

[2] Jeffrey D. Ullman,et al. A Simple Algorithm for Global Data Flow Analysis Problems , 1975, SIAM J. Comput..

[3] William H. Harrison,et al. Compiler Analysis of the Value Ranges for Variables , 1977, IEEE Transactions on Software Engineering.

[4] Carolyn Gannon. JAVS: A Jovial Automated Verification System , 1978, COMPSAC.

[5] C. V. Ramamoorthy,et al. Testing large software with automated software evaluation systems , 1975, 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] Leon J. Osterweil,et al. Omega -- A Data Flow Analysis Tool for the C Programming Language ; CU-CS-217-82 , 1982 .

[9] D FosdickLloyd,et al. Data Flow Analysis in Software Reliability , 1976 .

[10] Bjarne Stroustrup,et al. C++ Programming Language , 1986, IEEE Softw..

[11] Leon G. Stucki,et al. New assertion concepts for self-metric software validation , 1975, Reliable Software.