DocumentCode
745236
Title
Omega—A Data Flow Analysis Tool for the C Programming Language
Author
Wilson, Cindy ; Osterweil, Leon J.
Author_Institution
AT&T Information Systems
Issue
9
fYear
1985
Firstpage
832
Lastpage
838
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;
fLanguage
English
Journal_Title
Software Engineering, IEEE Transactions on
Publisher
ieee
ISSN
0098-5589
Type
jour
DOI
10.1109/TSE.1985.232542
Filename
1702102
Link To Document