• 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