https://github.com/google/sanitizers
Raw File
Tip revision: 9f6ef864d79868996299b9e61d35f8a0848cec47 authored by Florian Mayer on 25 March 2024, 17:15:57 UTC
Explain prove_hwasanwrap can be run with z3
Tip revision: 9f6ef86
README.md
# sanitizers
This project is the home for Sanitizers: AddressSanitizer, MemorySanitizer, ThreadSanitizer, LeakSanitizer, and more
The actual code resides in the [LLVM](http://llvm.org) repository.
Here we keep extended [documentation](../../wiki), [bugfixes](../../issues) and some helper code. 

The documentation for our tools:
* [AddressSanitizer](../../wiki/AddressSanitizer) (detects addressability issues) and [LeakSanitizer](../../wiki/AddressSanitizerLeakSanitizer) (detects memory leaks)
* ThreadSanitizer (detects data races and deadlocks) for [C++](../../wiki/ThreadSanitizerCppManual) and [Go](../../wiki/ThreadSanitizerGoManual)
* [MemorySanitizer](../../wiki/MemorySanitizer) (detects use of uninitialized memory)
* [HWASAN](https://clang.llvm.org/docs/HardwareAssistedAddressSanitizerDesign.html), or Hardware-assisted AddressSanitizer, a newer variant of AddressSanitizer that consumes much less memory
* [UBSan](https://clang.llvm.org/docs/UndefinedBehaviorSanitizer.html), or UndefinedBehaviorSanitizer

Some of the sanitizers are also available for different OS Kernels:
* [KASAN](https://www.kernel.org/doc/html/v4.12/dev-tools/kasan.html)
* [KMSAN](https://github.com/google/kmsan)
* [KCSAN](https://github.com/google/ktsan/wiki/KCSAN)
back to top