AddressSanitizer, ThreadSanitizer, MemorySanitizer
Browse cluster: Lean4 Formal Verification & Cryptography →This archived repository historically housed AddressSanitizer, ThreadSanitizer, MemorySanitizer, and related memory safety and concurrency debugging tools, though the core sanitizer code now resides in the LLVM repository. The material included demonstrates ongoing work in memory safety tooling across multiple platforms: example Android apps built with HWASan, GWP-ASan, and MTE variants; a Go-based dashboard component deployed to Google Compute Engine; academic research on GWP-ASan; x86 testing utilities for hardware pointer tagging support; and prototype implementations of MTE dynamic carveout for ARM systems. While no longer actively maintained, the repository retains historical documentation and helper code for these debugging and memory safety tools that span compiler instrumentation, kernel-level detection, and platform-specific implementations.