BestHub
search
Sign in
Tag

Sanitizer

1 views collected around this technical thread.

ByteDance SYS Tech
ByteDance SYS Tech
Jun 9, 2023 · Backend Development

Why Strict Aliasing Matters: Deep Dive into LLVM TBAA and TypeSanitizer

This article explains the Strict Aliasing Rule, how compilers use Type‑Based Alias Analysis (TBAA) for optimization, demonstrates LLVM’s metadata‑based implementation, introduces the TypeSanitizer tool for detecting aliasing violations, and offers practical guidance to avoid common pitfalls in C/C++ code.

Compiler OptimizationLLVMSanitizer
0 likes · 33 min read
Why Strict Aliasing Matters: Deep Dive into LLVM TBAA and TypeSanitizer
OPPO Kernel Craftsman
OPPO Kernel Craftsman
Feb 24, 2023 · Fundamentals

An Overview of Kernel Concurrency Sanitizer (KCSAN): Principles, Configuration, and Testing

Kernel Concurrency Sanitizer (KCSAN) is a low‑overhead dynamic data‑race detector for the Linux kernel that uses compile‑time instrumentation and sampled observation points to identify LKMM‑defined races, supports all atomic operations, integrates with KUNIT for testing, and has been proven effective in fixing real‑world kernel race bugs.

Data Race DetectionKCSANKUNIT
0 likes · 10 min read
An Overview of Kernel Concurrency Sanitizer (KCSAN): Principles, Configuration, and Testing
ByteDance SYS Tech
ByteDance SYS Tech
Dec 9, 2022 · Fundamentals

How Sanitizer Interceptors Detect Memory Bugs in Linux C++ Programs

This article explains the principles behind Google’s sanitizer tools, especially AddressSanitizer, covering symbol interposition, the interceptor mechanism, and how these techniques replace libc functions to reliably locate memory and thread errors in C++ applications on Linux.

AddressSanitizerCDynamic Linking
0 likes · 18 min read
How Sanitizer Interceptors Detect Memory Bugs in Linux C++ Programs