An error in which a program writes more data into a fixed-size contiguous memory buffer than it can hold, overwriting adjacent memory and potentially causing crashes, incorrect behavior, or security breaches.

Principle

Memory regions allocated as contiguous buffers have fixed bounds; writing beyond those bounds corrupts adjacent memory because hardware and many runtime environments do not automatically prevent or correct out‑of‑bounds writes.

Demonstration

A C function copies an unvalidated input string into a local char array using strcpy. If the input length exceeds the array length, bytes spill into neighboring stack frame data, which can change return addresses or variables and lead to a crash or arbitrary-code execution.

Misapplication

Treating every program failure after unusual input as a buffer overflow without checking memory layout, or assuming managed languages are entirely immune; also assuming all overflows are exploitable when many simply cause crashes.

Consequence

When present and exploitable, buffer overflows can produce application crashes, data corruption, privilege escalation, or remote code execution; when correctly mitigated, code avoids random memory corruption and reduces attack surface.

Reversal

Explicit bounds checking, use of length-limited APIs, automatic bounds-checked containers, or dynamically sized buffers reverses the uncontrolled-write behavior by ensuring writes remain inside allocated memory.

Boundary

Covers out-of-bounds writes to contiguous buffers (stack, heap, static). It excludes logical data-structure errors that do not write beyond allocation, integer overflows that merely change numeric values (though those can enable buffer overflows), and use-after-free which is a different memory fault.

Semantic Tension

Overlaps with 'out-of-bounds access', 'heap overflow', and 'memory corruption'; tension arises because 'buffer overflow' emphasizes contiguous-buffer writes while related terms emphasize timing (race), lifetime (use-after-free), or numeric causes (integer overflow).

Synthesis

A buffer overflow is the failure mode where unchecked writes exceed a buffer's allocated bounds, rooted in the principle that memory is partitioned into bounded regions; concretely visible in unsafe-copy operations, commonly misidentified without memory inspection, with consequences ranging from crashes to exploits, and resolved by bounds checks or safer abstractions.