Liu Guishan. A Method for the Static Analysis of a ProgramJ. Transactions of Beijing institute of Technology, 1995, (5).
Citation: Liu Guishan. A Method for the Static Analysis of a ProgramJ. Transactions of Beijing institute of Technology, 1995, (5).

A Method for the Static Analysis of a Program

  • A method for the static analysis of a program is presented.It describes how the structure tree, control flow and data flow for the program are created, and how the structure errors,anomalous control flows and data flows are found.
  • loading

Catalog

    Turn off MathJax
    Article Contents

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return
    Baidu
    map