Integer Overflow Detection

Integer Overflow Detection is a static vulnerability analysis method that identifies instances where arithmetic operations in software code may produce values exceeding the representable range of integer data types, thereby distinguishing itself from other detection techniques by focusing specifically on erroneous wraparound behaviors induced by integer overflow conditions.

Publications

1.4K

Citations

111

Authors

Institutions

Publications per year

2017–2026

Parents

Software Vulnerability DiscoveryStatic Vulnerability Analysis

Publications

Dynamic test generation to find integer bugs in x86 binary linux programs

Dávid Molnár, Xue Cong Li, David Wagner · 2009 · 202 citations

Computing, Computer Engineering, Computer Science +17

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

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

Computing, Computer Engineering, Computer Science +17

RICH: Automatically Protecting Against Integer-Based Vulnerabilities

David Brumley, Tzi‐cker Chiueh, Robert T. Johnson et al. · Figshare · 2018 · 112 citations · Full text

Computing, Computer Engineering, Computer Science +16

Improving integer security for systems with KINT

Xi Wang, Haogang Chen, Zhihao Jia et al. · 2012 · 88 citations

Computing, Computer Science, Cybersecurity +17

Understanding integer overflow in C/C++

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

Computing, Computer Engineering, Computer Science +13

1–5 of 35

Authors

111

HS
Hao Sun
Nanjing University, China
3 publications · 58 citations
3
h-index
JR
John Regehr
University of Utah, United States
3 publications · 175 citations
3
h-index
XZ
Xiangyu Zhang
Purdue University West Lafayette, United States
2 publications · 35 citations
2
h-index
PL
Peng Li
University of Utah, United States
2 publications · 147 citations
2
h-index
WD
Will Dietz
University of Illinois Urbana-Champaign, United States
2 publications · 147 citations
2
h-index

1–5 of 111

Institutions

1–8 of 35

Venues

IEEE Transactions on Computers
3 publications · 48 citations
3
h-index
Figshare
Repository · 2 publications · 123 citations
2
h-index
IEEE Transactions on Electronic Computers
2 publications · 54 citations
2
h-index
ACM Transactions on Software Engineering and Methodology
TOSEM · 1 publications · 60 citations
1
h-index
Mathematical Problems in Engineering
MPE · 1 publications · 12 citations
1
h-index

1–5