Issue No.09 - September (1985 vol.11)
C. Wilson , AT&T Information Systems
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.
static analysis, Anomaly, data flow, error detection, flowgraph
C. Wilson, L.J. Osterweil, "Omega?A Data Flow Analysis Tool for the C Programming Language", IEEE Transactions on Software Engineering, vol.11, no. 9, pp. 832-838, September 1985, doi:10.1109/TSE.1985.232542