Title :
Omega—A Data Flow Analysis Tool for the C Programming Language
Author :
Wilson, Cindy ; Osterweil, Leon J.
Author_Institution :
AT&T Information Systems
Abstract :
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.
Keywords :
Anomaly; data flow; error detection; flowgraph; static analysis; Computer errors; Computer languages; Data analysis; Debugging; Documentation; Error analysis; Event detection; Information systems; Prototypes; Testing; Anomaly; data flow; error detection; flowgraph; static analysis;
Journal_Title :
Software Engineering, IEEE Transactions on
DOI :
10.1109/TSE.1985.232542
