Tag
sanitizers
- Jul 23, 2026 What Sanitizers and Miri Cannot Prove Instrumentation detects violations on the paths an execution took, and an interpreter sees only the code it can run, so both produce evidence of bugs rather than evidence of their absence. systems programming
- Apr 7, 2026 AddressSanitizer and the Arithmetic of Shadow Memory How a one-eighth-scale shadow map turns every load and store into a validity query, what the poison values encode, and where the scheme cannot see. 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