Tag
memory-safety
- 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
- Apr 17, 2023 AddressSanitizer Shadow Memory and the Cost of Byte-Granular Checks How one byte of shadow per eight bytes of address space turns every load and store into a checked access, and what redzones, quarantine, and poisoning can and cannot detect. systems programming