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 System
Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
Compiler Analysis of the Value Ranges for Variables
IEEE Transactions on Software Engineering, 1977
Dave—a validation error detection and documentation system for fortran programs
Software: Practice and Experience, 1976
Data Flow Analysis in Software Reliability
ACM Computing Surveys, 1976
A Simple Algorithm for Global Data Flow Analysis Problems
SIAM Journal on Computing, 1975
Testing large software with automated software evaluation systems
IEEE Transactions on Software Engineering, 1975
New assertion concepts for self-metric software validation
Published by Association for Computing Machinery (ACM) ,1975