Tag
bounds-checking
- Sep 11, 2026 Slice Bounds Checks and the Conditions for Eliding Them How a length-carrying descriptor makes every index a checked operation, what the branch costs when it is not removable, and which static facts let a compiler prove it away. memory systems
- Jun 17, 2025 Tail Handling and Bounds Checks in Partial Tiles Why the last block of a launch is the one that returns early, how predicated access differs from an early return, and what goes wrong when barriers and zero-length buffers meet an oversized grid. gpu computing
- May 5, 2025 How an Out-of-Bounds Write Reaches Allocator Metadata Why the bytes just past a heap object belong to the allocator, how a single byte can turn a length field into an address, and which layouts keep bookkeeping out of the blast radius. memory systems
- Oct 18, 2024 Parsing Untrusted Binaries Without Trusting Their Length Fields Why every offset in an executable is an attacker-controlled integer, how a bounded cursor converts that into a single failure path, and which structural checks the formats leave to the reader. systems programming