Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 235,060,531 papers from all fields of science
Search
Sign In
Create Free Account
Integer overflow
Known as:
Integer attack
, Integer attacks
, Overflow
In computer programming, an integer overflow occurs when an arithmetic operation attempts to create a numeric value that is too large to be…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
Abstract data type
Ada
Arbitrary-precision arithmetic
Arithmetic underflow
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Skin surfaces in Moebius geometry
J. Eising
2017
Corpus ID: 189973987
Studying the geometry of Van der Waals surfaces of molecules gives rise to the question: "Can we find smooth, continuous surfaces…
Expand
2017
2017
Sound Patch Generation for Vulnerabilities
Zhen Huang
,
D. Lie
2017
Corpus ID: 48360062
Security vulnerabilities are among the most critical software defects in existence. As such, they require patches that are…
Expand
2016
2016
Development of Curriculum + Community Enterprise for Restoration Science: A Formative Model for Educational Partnerships
Michelle
,
Molina
,
Érica
,
Watson-Currie
,
Laurén
,
Bimey
2016
Corpus ID: 157312910
The Curriculum + Community Enterprise for Restoration Science (CCERS) is an educational model designed to increase the quality…
Expand
2014
2014
A Taint Based Smart Fuzzing Approach for Integer Overflow Vulnerability Detection
Jun Cai
,
Peng Zou
,
Jinxin Ma
,
Jun He
2014
Corpus ID: 28403426
-Fuzzing is one of the most commonly used methods to detect software vulnerabilities which are one major cause of information…
Expand
2012
2012
Monitoring of Aging Software Systems Affected by Integer Overflows
Domenico Cotroneo
,
R. Natella
IEEE 23rd International Symposium on Software…
2012
Corpus ID: 1671070
Numerical aging-related bugs, which can manifest themselves as the accumulation of floating-point errors and the overflow of…
Expand
2011
2011
Solving UNIQUE-SAT in a Modal Quantum Theory
Jeremiah Willcock
,
A. Sabry
2011
Corpus ID: 117921385
In recent work, Benjamin Schumacher and Michael D. Westmoreland investigate a version of quantum mechanics which they call modal…
Expand
2010
2010
High-Trusted-Software-Oriented Automatic Testing for Integer Overflow Bugs: High-Trusted-Software-Oriented Automatic Testing for Integer Overflow Bugs
Xicheng Lu
,
Gen Li
,
Kai Lu
,
Y. Zhang
2010
Corpus ID: 62767656
This paper presents an automatic testing method, DAIDT (dynamic automatic integer-overflow detection and testing), for finding…
Expand
2010
2010
High-Trusted-Software-Oriented Automatic Testing for Integer Overflow Bugs
L. Xi
2010
Corpus ID: 63585631
This paper presents an automatic testing method,DAIDT(dynamic automatic integer-overflow detection and testing),for finding…
Expand
2007
2007
A Prolog-based Environment for Reasoning about Programming Languages (Extended abstract)
Roberto Bagnara
,
P. Hill
,
E. Zaffanella
arXiv.org
2007
Corpus ID: 234465
ECLAIR is a Prolog-based prototype system aiming to provide a functionally complete environment for the study, development and…
Expand
2005
2005
Revisiting Overflow in Integer Multiplication
E. El-Qawasmeh
,
A. Dalalah
2005
Corpus ID: 62771746
Integer multiplication is a very common operation that is executed in many applications. However, some of these applications…
Expand