Checking Array Bound Violation Using Segmentation Hardware

The ability to check memory references against their associated array/buffer bounds helps programmers to detect programming errors involving address overruns early on and thus avoid many difficult bugs down the line. This paper proposes a novel approach called Cash to the array bound checking problem that exploits the segmentation feature in the virtual memory hardware of the X86 architecture. The Cash approach allocates a separate segment to each static array or dynamically allocated buffer, and generates the instructions for array references in such a way that the segment limit check in X86’s virtual memory protection mechanism performs the necessary array bound checking for free. In those cases that hardware bound checking is not possible, it falls back to software bound checking. As a result, Cash does not need to pay per-reference software checking overhead in most cases. However, the Cash approach incurs a fixed set-up overhead for each use of an array, which may involve mul...

• Type: Conference
• Year: 2005
• Where: DSN
• Authors: Lap-Chung Lam, Tzi-cker Chiueh
• Keywords: Array Bound Checking, Array References, Bound Checking, Computer Networks, DSN 2005