← All repos

sanitizers

AddressSanitizer, ThreadSanitizer, MemorySanitizer

Browse cluster: Lean4 Formal Verification & Cryptography
2,561commits
47contributors
10languages

Tech stack & purpose

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.

Languages

C
67.4%
TeX
24.4%
C++
3.4%
Shell
2.0%
Go
1.9%
CMake
0.2%
SMT
0.2%
Makefile
0.2%
Kotlin
0.2%
Python
0.1%

Contributors (top 30 of 47)