Concepedia

Static Control-flow Analysis

Static Control-Flow Analysis is a formal method in program analysis that belongs to the class of static analysis techniques, distinguished by its reconstruction of the possible execution paths within a program without runtime evaluation, focusing solely on the syntactic and structural properties of the source code to determine control dependencies and branching possibilities.

384

Publications

25.2K

Citations

802

Authors

299

Institutions

Publications per year

2017–2026

58

Parents

Publications

384

Efficiently computing static single assignment form and the control dependence graph

Ron K. Cytron, Jeanne Ferrante, Barry K. Rosen et al. · ACM Transactions on Programming Languages and Systems · 1991 · 2.2K citations · Full text

, , +12

Selecting Software Test Data Using Data Flow Information

S. Rapps, Elaine J. Weyuker · IEEE Transactions on Software Engineering · 1985 · 1.1K citations

, , +13

JFlow

Andrew C. Myers · 1999 · 1K citations · Full text

, , +13

Control flow analysis

Frances Allen · ACM SIGPLAN Notices · 1970 · 720 citations

, , +11

Static determination of dynamic properties of programs

Patrick Cousot, Radhia Cousot · 1976 · 473 citations

, , +14

1–5 of 384

Authors

802

  1. AR
    Atanas Rountev

    The Ohio State University, United States

    10 publications · 932 citations

    10

    h-index

  2. GT
    Gang Tan

    Pennsylvania State University, United States

    8 publications · 615 citations

    8

    h-index

  3. JR
    James R. Larus

    University of Wisconsin–Madison, United States

    7 publications · 777 citations

    7

    h-index

  4. OS
    Olin Shivers

    Georgia Institute of Technology, United States

    6 publications · 199 citations

    6

    h-index

  5. MJ
    Mary Jean Harrold

    Georgia Institute of Technology, United States

    6 publications · 241 citations

    6

    h-index

1–5 of 802

Institutions

299

  1. The Ohio State University

    Columbus, United States

    13 h-index

    31 publications

    2.4K citations

  2. University of Wisconsin–Madison

    Madison, United States

    13 h-index

    25 publications

    1.3K citations

  3. Northeastern University

    Boston, United States

    10 h-index

    14 publications

    347 citations

  4. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    10 h-index

    21 publications

    659 citations

  5. Georgia Institute of Technology

    Atlanta, United States

    9 h-index

    13 publications

    458 citations

  6. University of Utah

    Salt Lake City, United States

    9 h-index

    20 publications

    546 citations

  7. Centre National de la Recherche Scientifique

    Paris, France

    9 h-index

    13 publications

    430 citations

  8. IBM (United States)

    Armonk, United States

    8 h-index

    24 publications

    10.7K citations

1–8 of 299

Venues

  1. ACM SIGPLAN Notices

    26 publications · 1.5K citations

    17

    h-index

  2. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)

    Repository · 8 publications · 260 citations

    8

    h-index

  3. Electronic Notes in Theoretical Computer Science

    ENTCS · 6 publications · 199 citations

    6

    h-index

  4. Science of Computer Programming

    5 publications · 161 citations

    5

    h-index

  5. Journal of Functional Programming

    5 publications · 121 citations

    5

    h-index

1–5