Concepedia

Control-flow Graph Construction

Control-Flow Graph Construction is a method in program analysis that formalizes the syntactic and semantic structure of a program by representing its executable paths as a directed graph where nodes denote basic blocks and edges capture the possible control transitions between them.

320

Publications

15.9K

Citations

749

Authors

282

Institutions

Publications per year

2017–2026

54

Parents

Publications

320

Neural Network-based Graph Embedding for Cross-Platform Binary Code Similarity Detection

2017 · 499 citations · Full text

, , +15

Targeted and depth-first exploration for systematic testing of android apps

Tanzirul Azim, Iulian Neamtiu · 2013 · 422 citations

, , +17

Formal semantics and analysis of control flow in WS-BPEL

Chun Ouyang, Eric Verbeek, Wil M. P. van der Aalst et al. · Science of Computer Programming · 2007 · 341 citations · Full text

, , +13

Program analysis via graph reachability

Thomas Reps · Information and Software Technology · 1998 · 330 citations

, , +14

Path-based scheduling for synthesis

Raúl Camposano · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1991 · 330 citations

, , +12

1–5 of 320

Authors

749

  1. MJ
    Mary Jean Harrold

    Georgia Institute of Technology, United States

    5 publications · 344 citations

    6

    h-index

  2. CC
    Craig Chambers

    University of Washington, United States

    5 publications · 730 citations

    5

    h-index

  3. JR
    James R. Larus

    University of Wisconsin–Madison, United States

    4 publications · 175 citations

    4

    h-index

  4. AC
    Alessandro Cimatti

    Fondazione Bruno Kessler, Italy

    4 publications · 307 citations

    4

    h-index

  5. YL
    Yang Liu

    Nanyang Technological University, Singapore

    4 publications · 311 citations

    4

    h-index

1–5 of 749

Institutions

282

  1. University of Illinois Urbana-Champaign

    Urbana, United States

    8 h-index

    20 publications

    842 citations

  2. IBM (United States)

    Armonk, United States

    8 h-index

    11 publications

    938 citations

  3. University of California, Berkeley

    Berkeley, United States

    7 h-index

    13 publications

    1.7K citations

  4. University of Wisconsin–Madison

    Madison, United States

    6 h-index

    10 publications

    812 citations

  5. IBM Research - Thomas J. Watson Research Center

    Yorktown Heights, United States

    6 h-index

    8 publications

    1.1K citations

  6. Nanyang Technological University

    Singapore, Singapore

    6 h-index

    12 publications

    542 citations

  7. The Ohio State University

    Columbus, United States

    5 h-index

    6 publications

    314 citations

  8. University of Waterloo

    Waterloo, Canada

    5 h-index

    6 publications

    238 citations

1–8 of 282

Venues

  1. ACM SIGPLAN Notices

    13 publications · 430 citations

    12

    h-index

  2. IEEE Transactions on Computers

    8 publications · 365 citations

    8

    h-index

  3. 7

    h-index

  4. IEEE Transactions on Software Engineering

    TSE · 6 publications · 529 citations

    6

    h-index

  5. arXiv (Cornell University)

    Repository · 5 publications · 97 citations

    5

    h-index

1–5