Concepedia

Binary Control-flow Analysis

Binary Control-Flow Analysis is a static program analysis technique that models the control flow of binary executable code by reconstructing and analyzing the sequence of possible execution paths through machine-level instructions, distinguishing it from source-level control-flow analysis by operating directly on compiled, low-level code without access to high-level syntactic constructs.

309

Publications

23.8K

Citations

826

Authors

240

Institutions

Publications per year

2017–2026

66

Parents

Publications

309

Systematic design of program analysis frameworks

Patrick Cousot, Radhia Cousot · 1979 · 1.6K citations · Full text

, , +15

The geometry of innocent flesh on the bone

Hovav Shacham · 2007 · 1.3K citations

, , +13

SOK: (State of) The Art of War: Offensive Techniques in Binary Analysis

Yan Shoshitaishvili, Ruoyu Wang, Christopher Salls et al. · 2016 · 911 citations · Full text

, , +12

Secure Execution via Program Shepherding

Vladimir Kiriansky, Derek Bruening, Saman Amarasinghe · DSpace@MIT (Massachusetts Institute of Technology) · 2002 · 530 citations · Full text

, , +15

Practical Control Flow Integrity and Randomization for Binary Executables

Chao Zhang, Tao Wei, Zhaofeng Chen et al. · 2013 · 479 citations · Full text

, , +14

1–5 of 309

Authors

826

  1. CC
    Cristina Cifuentes

    The University of Queensland, Australia

    9 publications · 518 citations

    9

    h-index

  2. SM
    Stephen McCamant

    University of California, Berkeley, United States

    7 publications · 914 citations

    7

    h-index

  3. ZL
    Zhiqiang Lin

    The Ohio State University, United States

    7 publications · 735 citations

    7

    h-index

  4. BP
    Barton P. Miller

    University of Wisconsin–Madison, United States

    7 publications · 644 citations

    7

    h-index

  5. AL
    Arun Lakhotia

    University of Louisiana at Lafayette, United States

    6 publications · 167 citations

    6

    h-index

1–5 of 826

Institutions

240

  1. Purdue University West Lafayette

    West Lafayette, United States

    10 h-index

    25 publications

    1.7K citations

  2. University of California, Berkeley

    Berkeley, United States

    10 h-index

    21 publications

    2.6K citations

  3. Carnegie Mellon University

    Pittsburgh, United States

    10 h-index

    21 publications

    2.5K citations

  4. University of Wisconsin–Madison

    Madison, United States

    10 h-index

    23 publications

    1.8K citations

  5. Microsoft (United States)

    Redmond, United States

    10 h-index

    24 publications

    1.1K citations

  6. University of California, Santa Barbara

    Santa Barbara, United States

    8 h-index

    30 publications

    12.3K citations

  7. Stony Brook University

    Stony Brook, United States

    8 h-index

    18 publications

    1.4K citations

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

    Le Chesnay-Rocquencourt, France

    8 h-index

    11 publications

    471 citations

1–8 of 240

Venues

  1. ACM SIGPLAN Notices

    12 publications · 642 citations

    11

    h-index

  2. Software Practice and Experience

    6 publications · 320 citations

    6

    h-index

  3. Electronic Notes in Theoretical Computer Science

    ENTCS · 6 publications · 287 citations

    6

    h-index

  4. 4

    h-index

  5. ACM SIGARCH Computer Architecture News

    4 publications · 161 citations

    4

    h-index

1–5