Concepedia

Integer Overflow Analysis

Integer Overflow Analysis is a reverse engineering method that identifies and exploits arithmetic overflows occurring when an integer exceeds its maximum representable value, thereby enabling the discovery of vulnerabilities in software systems.

25

Publications

1.1K

Citations

76

Authors

28

Institutions

Publications per year

2017–2026

5

Parents

Publications

25

IntScope: Automatically Detecting Integer Overflow Vulnerability in X86 Binary Using Symbolic Execution.

Tielei Wang, Tao Wei, Zhiqiang Lin et al. · 2009 · 167 citations

, , +17

GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis

Yuqiang Sun, Daoyuan Wu, Yue Xue et al. · 2024 · 134 citations · Full text

, , +16

Automatic error elimination by horizontal code transfer across multiple applications

Stelios Sidiroglou-Douskos, Eric Lahtinen, Fan Long et al. · 2015 · 114 citations · Full text

, , +17

Understanding integer overflow in C/C++

Will Dietz, Peng Li, John Regehr et al. · 2012 · 87 citations

, , +13

Understanding Integer Overflow in C/C++

2012 · 63 citations

, , +13

1–5 of 25

Authors

76

  1. SS
    Stelios Sidiroglou-Douskos

    Massachusetts Institute of Technology, United States

    4 publications · 239 citations

    4

    h-index

  2. MR
    Martin Rinard

    Massachusetts Institute of Technology, United States

    4 publications · 239 citations

    4

    h-index

  3. FL
    Fan Long

    Massachusetts Institute of Technology, United States

    4 publications · 239 citations

    4

    h-index

  4. EL
    Eric Lahtinen

    Massachusetts Institute of Technology, United States

    3 publications · 183 citations

    3

    h-index

  5. JR
    John Regehr

    University of Utah, United States

    3 publications · 175 citations

    3

    h-index

1–5 of 76

Institutions

28

  1. Massachusetts Institute of Technology

    Cambridge, United States

    3 h-index

    12 publications

    796 citations

  2. University of Utah

    Salt Lake City, United States

    3 h-index

    5 publications

    322 citations

  3. University of Wisconsin–Madison

    Madison, United States

    2 h-index

    3 publications

    37 citations

  4. Singapore Management University

    Singapore, Singapore

    2 h-index

    9 publications

    246 citations

  5. East China Normal University

    Shanghai, China

    2 h-index

    9 publications

    246 citations

  6. Nanjing University

    Nanjing, China

    2 h-index

    3 publications

    45 citations

  7. Nanyang Technological University

    Singapore, Singapore

    2 h-index

    12 publications

    648 citations

  8. Purdue University West Lafayette

    West Lafayette, United States

    2 h-index

    2 publications

    178 citations

1–8 of 28

Venues

  1. 1

    h-index

  2. ACM SIGPLAN Notices

    1 publications · 29 citations

    1

    h-index

  3. Tsinghua Science & Technology

    1 publications · 45 citations

    1

    h-index

  4. ACM Transactions on Software Engineering and Methodology

    TOSEM · 1 publications · 60 citations

    1

    h-index

  5. Electronic Notes in Theoretical Computer Science

    ENTCS · 1 publications · 13 citations

    1

    h-index

1–5