google/sanitizers
Sanitizers
This project is a suite of runtime diagnostic tools designed to detect memory leaks, concurrency races, and language-specification violations during software execution. It provides a collection of dynamic analysis tools that identify addressability issues, uninitialized memory usage, and memory safety bugs in applications.
The toolset includes a thread safety analyzer to identify data races and deadlocks in concurrent code, as well as an undefined behavior sanitizer to detect operations that violate language specifications.
The system covers broad capabilities in memory safety monitoring and runtime analysis to prevent crashes and security vulnerabilities. This includes the detection of memory errors and concurrency defects to ensure stable and predictable program execution.
Features
- Memory Safety - Provides a comprehensive suite for identifying memory leaks and illegal access errors to ensure memory safety.
- Allocation Metadata Tracking - Maintains internal records of memory allocations to detect use-after-free and buffer overflow errors.
- Shadow Memory - Allocates a dedicated virtual address space to track the validity and state of application memory.
- Binary Instrumentation - Implements compile-time binary instrumentation to monitor memory accesses at runtime.
- Language Sanitizers - Ships a sanitizer that detects operations violating language specifications to prevent unpredictable execution.
- Undefined Behavior Analysis - Detects operations that violate language specifications to avoid unpredictable software crashes.
- Undefined Behavior Detection - Inserts guards that trigger a report when the program executes operations forbidden by the language specification.
- Memory Access Interception - Provides interception of memory access to monitor heap usage and detect invalid frees.
- Runtime Language Instrumentation - Uses runtime language instrumentation to catch bugs during execution on physical devices.
- Concurrency Analyzers - Provides concurrency analyzers to identify data races and synchronization issues in multi-threaded code.
- Memory Leak Detection - Offers a collection of runtime monitors to identify and analyze memory leaks.
- Runtime Error Detectors - Implements runtime error detectors to identify memory corruption and undefined behaviors.
- Race Condition Detection - Includes a state machine to detect data races and concurrency bugs during execution.
- Instrumented Builds - Provides a build system for creating debug versions of applications with integrated sanitizers.
- Memory Safety Diagnostics - Provides runtime checks for identifying memory corruption and pointer errors.
- Sistemas de compilación - A fast detector for memory-related errors.
- Depuración y rastreo - Detects memory and threading errors.
- Herramientas de desarrollo - Fast memory error detection for C programs.
- Dynamic Analysis - Suite of tools for detecting memory, thread, and leak errors.
- Windows Environments - Listed in the “Windows Environments” section of the Awesome C awesome list.
