Omega—A Data Flow Analysis Tool for the C Programming Language
- 1 September 1985
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. SE-11 (9), 832-838
- https://doi.org/10.1109/tse.1985.232542
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
This publication has 7 references indexed in Scilit:
- JAVS: A Jovial Automated Verification SystemPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Compiler Analysis of the Value Ranges for VariablesIEEE Transactions on Software Engineering, 1977
- Dave—a validation error detection and documentation system for fortran programsSoftware: Practice and Experience, 1976
- Data Flow Analysis in Software ReliabilityACM Computing Surveys, 1976
- A Simple Algorithm for Global Data Flow Analysis ProblemsSIAM Journal on Computing, 1975
- Testing large software with automated software evaluation systemsIEEE Transactions on Software Engineering, 1975
- New assertion concepts for self-metric software validationPublished by Association for Computing Machinery (ACM) ,1975