Integer overflow: Difference between revisions

Revision as of 09:17, 20 May 2011

Revision as of 16:36, 25 July 2011

Line 25:

In some situations a program may make the assumption that a variable always contains a positive value. If the variable has a signed integer type an overflow can cause its value to wrap and become negative, violating the assumption contained in the program and perhaps leading to unintended behavior. Similarly, subtracting from a small unsigned value may cause it to wrap to a large positive value which may also be an unexpected behavior. Multiplying or adding two integers may result in a value that is non-negative, but unexpectedly small. If this number is used as the number of bytes to allocate for a buffer, the buffer will be allocated unexpectedly small, leading to a potential buffer overflow.

Some languages, such as [[Ada (programming language)|Ada]] (and certain variants of functional languages), provide mechanisms that,to if used, result inmake accidental overflowoverflows triggeringtrigger an exception condition. In Many languages do not support such functionality. Incontrast, [[Python (programming language)|Python]], seamlessly converts a number that becomes too large for an integer seamlessly becomesto a long.<ref>[http://www.python.org/doc/1.4/ref/ref5.html Python documentation], section 5.1 Arithmetic conversions.</ref> And inIn Python 2.4, integers and arbitrary sized longs are unified.<ref>[http://www.python.org/dev/peps/pep-0237/ Python Enhancement Proposal 237]</ref>

==Techniques for mitigating integer overflow problems==