Concepedia

Interprocedural Control-flow Analysis

Interprocedural Control-Flow Analysis is a static program analysis technique that determines the possible execution paths across procedure boundaries by modeling the calling and return behaviors of functions, thereby extending control-flow analysis to account for interactions between procedures in a program.

120

Publications

8.3K

Citations

236

Authors

124

Institutions

Publications per year

2017–2026

2

Parents

Publications

120

Precise interprocedural dataflow analysis via graph reachability

Thomas Reps, Susan Horwitz, Mooly Sagiv · 1995 · 1.2K citations

, , +15

Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects

Jong-Deok Choi, Michael Burke, Paul Carini · 1993 · 354 citations

, , +16

Control-flow analysis of higher-order languages of taming lambda

Olin Shivers · Modern healthcare · 1991 · 343 citations

, , +16

Constructing the Call Graph of a Program

Barbara G. Ryder · IEEE Transactions on Software Engineering · 1979 · 300 citations

, , +14

Mining API patterns as partial orders from source code

Mithun Acharya, Tao Xie, Jian Pei et al. · 2007 · 261 citations

, , +13

1–5 of 120

Authors

236

  1. KK
    Ken Kennedy

    Rice University, United States

    7 publications · 655 citations

    7

    h-index

  2. AR
    Atanas Rountev

    The Ohio State University, United States

    4 publications · 300 citations

    4

    h-index

  3. KD
    Keith D. Cooper

    Rice University, United States

    4 publications · 375 citations

    4

    h-index

  4. JM
    Jan Midtgaard

    Aarhus University, Denmark

    4 publications · 68 citations

    4

    h-index

  5. BG
    Barbara G. Ryder

    Rutgers, The State University of New Jersey, United States

    3 publications · 423 citations

    3

    h-index

1–5 of 236

Institutions

124

  1. Rice University

    Houston, United States

    7 h-index

    13 publications

    1.2K citations

  2. The Ohio State University

    Columbus, United States

    6 h-index

    16 publications

    1.4K citations

  3. University of Utah

    Salt Lake City, United States

    4 h-index

    8 publications

    164 citations

  4. Northeastern University

    Boston, United States

    4 h-index

    5 publications

    233 citations

  5. Stanford University

    Stanford, United States

    4 h-index

    5 publications

    142 citations

  6. University of California, Berkeley

    Berkeley, United States

    3 h-index

    3 publications

    72 citations

  7. Rutgers, The State University of New Jersey

    New Brunswick, United States

    3 h-index

    6 publications

    586 citations

  8. University of Wisconsin–Madison

    Madison, United States

    3 h-index

    6 publications

    3.8K citations

1–8 of 124

Venues

  1. ACM SIGPLAN Notices

    8 publications · 378 citations

    8

    h-index

  2. IEEE Transactions on Software Engineering

    TSE · 4 publications · 440 citations

    4

    h-index

  3. 4

    h-index

  4. International Conference on Software Engineering

    Conference · 3 publications · 265 citations

    3

    h-index

  5. ACM SIGSOFT Software Engineering Notes

    SEN · 3 publications · 104 citations

    3

    h-index

1–5