Omega A Data Flow Analysis Tool for the C Programming Language

Authors:
Cindy Wilson;Leon J. Osterweil
Affiliations:
AT&T Information Systems, Denver, CO;Univ. of Colorado, Boulder
Venue:
IEEE Transactions on Software Engineering - Special issue on COMPSAC 1982 and 1983
Year:
1985

Citing 0
Cited 5

Cesar: a static sequencing constraint analyzer

TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Interprocedural static analysis of sequencing constraints

ACM Transactions on Software Engineering and Methodology (TOSEM)
LCLint: a tool for using specifications to check code

SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Enabling trusted software integrity

Proceedings of the 10th international conference on Architectural support for programming languages and operating systems
A Hardware-Software Platform for Intrusion Prevention

Proceedings of the 37th annual IEEE/ACM International Symposium on Microarchitecture

Quantified Score

Hi-index	0.00

Visualization

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.