Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

awesome-sanitizer

A curated list of sanitizers to detect bugs
https://github.com/junwha/awesome-sanitizer

Last synced: about 14 hours ago
JSON representation

C/C++
- Address Sanity
  - TUM-DSE/safepm - SafePM repository.
  - FuZZan - Efficient sanitizer metadata design for fuzzing.
  - HexHive/FuZZan - FuZZan repository.
  - AddressSanitizer (Clang Documentation) - Official Clang docs.
  - wiki/AddressSanitizer - Google sanitizers wiki.
  - HOWTO: Use Address Sanitizer - Basic usage tutorial.
  - ASAN-- - Debloating Address Sanitizer.
  - junxzm1990/ASAN-- - Repository for ASAN--.
  - RetroWrite - Statically instrumenting COTS binaries for fuzzing and sanitization.
  - seclab-yonsei/BoKASAN - Repository for BoKASAN.
  - yanzuochen/obsan - OBSan repository.
  - ASanity - On bug shadowing by early ASan exits.
  - SANRAZOR - Reducing redundant sanitizer checks in C/C++ programs.
  - SanRazor-repo/SanRazor - SanRazor repository.
  - OBSan - An out-of-bound sanitizer to harden DNN executables.
  - GIANTSAN - Efficient memory sanitization with segment folding.
  - AddressSanitizer (Paper) - A fast address sanity checker.
  - ASAN-- - Debloating Address Sanitizer.
  - junxzm1990/ASAN-- - Repository for ASAN--.
  - RetroWrite - Statically instrumenting COTS binaries for fuzzing and sanitization.
  - HexHive/retrowrite - RetroWrite implementation.
  - BoKASAN - Binary-only Kernel Address Sanitizer for effective kernel fuzzing.
  - seclab-yonsei/BoKASAN - Repository for BoKASAN.
  - SafePM - A sanitizer for persistent memory.
  - BoKASAN - Binary-only Kernel Address Sanitizer for effective kernel fuzzing.
  - CMASan - Custom Memory Allocator-aware Address Sanitizer.
- Undefined Behavior
  - UndefinedBehaviorSanitizer (Clang Documentation) - Official Clang docs.
  - Improving Application Security with UndefinedBehaviorSanitizer and GCC - Oracle blog post.
  - A Guide to Undefined Behavior in C and C++ - John Regehr's blog.
  - Improving Application Security with UndefinedBehaviorSanitizer and GCC - Oracle blog post.
  - A Guide to Undefined Behavior in C and C++ - John Regehr's blog.
- Data Races
  - ThreadSanitizer (Paper) - Data race detection in practice.
  - ThreadSanitizer (Clang Documentation) - Official Clang docs.
  - wiki/ThreadSanitizer - Google sanitizers wiki.
  - BINTSAN - A Binary-level Thread Sanitizer or Why Sanitizing on the Binary Level is Hard.
- Uninitialized Reads
  - MemorySanitizer (Paper) - Fast detector of uninitialized memory use in C++.
  - MemorySanitizer (Clang Documentation) - Official Clang docs.
  - wiki/MemorySanitizer - Google sanitizers wiki.
  - MTSan - A feasible and practical memory sanitizer for fuzzing COTS binaries.
  - FloatZone - Accelerating memory error detection using the floating point unit.
  - vusec/floatzone - FloatZone repository.
  - FloatZone - Accelerating memory error detection using the floating point unit.
  - vusec/floatzone - FloatZone repository.
  - MSET - Evaluating the effectiveness of memory safety sanitizers.
- Type Confusion
  - vusec/typesan - TypeSan repository.
  - HexHive/HexType - HexType repository.
  - GJDuck/EffectiveSan - EffectiveSan repository.
  - TCD - Statically detecting type confusion errors in C++ programs.
  - Type++ - Prohibiting type confusion with inline type information.
  - T-PRUNIFY - Pruning redundant sanitizer checks by developer-implemented type checks.
  - CastSan - Efficient detection of polymorphic C++ object type confusions with LLVM.
  - TypeSan - Practical type confusion detection.
  - CastSan - Efficient detection of polymorphic C++ object type confusions with LLVM.
  - EffectiveSan - Type and memory error detection using dynamically typed C/C++.
  - CastSan - Efficient detection of polymorphic C++ object type confusions with LLVM.
- Dataflow Analysis
  - DataFlowSanitizer (Clang Documentation) - A general data flow analysis framework.
address sanity
- TUM-DSE/safepm
- FuZZan - Efficient Sanitizer Metadata Design for Fuzzing.
- HexHive/FuZZan
- SANRAZOR - Reducing Redundant Sanitizer Checks in C/C++ Programs.
- yanzuochen/obsan
- ASanity - On Bug Shadowing by Early ASan Exits.
- ERASan - Efficient Rust Address Sanitizer.
Rust
- Address Sanity
  - ERASan - Efficient Rust Address Sanitizer.
  - S2-Lab/ERASan - ERASan repository.
  - S2-Lab/ERASan - ERASan repository.
  - RustSan - Retrofitting AddressSanitizer for efficient sanitization of Rust.
- Uninitialized Reads
  - MemTagSanitizer (Rust Unstable Book) - Memory tagging for Rust.
undefined behavior
- UndefinedBehaviorSanitizer (Clang documentation)
data races
- ThreadSanitizer - data race detection in practice.
- ThreadSanitizer (Clang documentation)
- wiki/ThreadSanitizer
- csl-iisc/iGUARD-SOSP21
- DynamicSanitizer/DySan
- DySan - Dynamically Sanitizing Motion Sensor Data Against Sensitive Inferences through Adversarial Networks.
GPU
- Data Races
  - csl-iisc/iGUARD-SOSP21 - iGUARD repository.
  - iGUARD - In-GPU advanced race detection.
- Sanitizers by Vendors
  - AMD: Using the AddressSanitizer on a GPU - Beta release for AMD's GPU sanitizer.
Etc
- Data Races
  - DynamicSanitizer/DySan - DySan repository.
  - NeuralSanitizer - Detecting backdoors in neural networks.
uninitialized reads
- MemorySanitizer - fast detector of uninitialized memory use in C++.
- MemorySanitizer (Clang documentation)
- wiki/MemorySanitizer
- MTSan - A Feasible and Practical Memory Sanitizer for Fuzzing {COTS} Binaries.
type confusion
- CastSan - Efficient Detection of Polymorphic C++ Object Type Confusions with LLVM.
- vusec/typesan
- CastSan - Efficient Detection of Polymorphic C++ Object Type Confusions with LLVM.
- HexHive/HexType
- GJDuck/EffectiveSan
- TCD - Statically Detecting Type Confusion Errors in C++ Programs.
- HexHive/typepp
- CastSan - Efficient Detection of Polymorphic C++ Object Type Confusions with LLVM.
- CastSan - Efficient Detection of Polymorphic C++ Object Type Confusions with LLVM.
- CastSan - Efficient Detection of Polymorphic C++ Object Type Confusions with LLVM.
- CastSan - Efficient Detection of Polymorphic C++ Object Type Confusions with LLVM.
- CastSan - Efficient Detection of Polymorphic C++ Object Type Confusions with LLVM.
- CastSan - Efficient Detection of Polymorphic C++ Object Type Confusions with LLVM.
- CastSan - Efficient Detection of Polymorphic C++ Object Type Confusions with LLVM.
- CastSan - Efficient Detection of Polymorphic C++ Object Type Confusions with LLVM.
- CastSan - Efficient Detection of Polymorphic C++ Object Type Confusions with LLVM.
- CastSan - Efficient Detection of Polymorphic C++ Object Type Confusions with LLVM.
- CastSan - Efficient Detection of Polymorphic C++ Object Type Confusions with LLVM.
- CastSan - Efficient Detection of Polymorphic C++ Object Type Confusions with LLVM.
- CastSan - Efficient Detection of Polymorphic C++ Object Type Confusions with LLVM.
- CastSan - Efficient Detection of Polymorphic C++ Object Type Confusions with LLVM.
- CastSan - Efficient Detection of Polymorphic C++ Object Type Confusions with LLVM.
- CastSan - Efficient Detection of Polymorphic C++ Object Type Confusions with LLVM.
- CastSan - Efficient Detection of Polymorphic C++ Object Type Confusions with LLVM.
- CastSan - Efficient Detection of Polymorphic C++ Object Type Confusions with LLVM.
- CastSan - Efficient Detection of Polymorphic C++ Object Type Confusions with LLVM.
dataflow analysis
- DataFlowSanitizer (Clang documentation)
sanitizers by vendors
- AMD: Using the AddressSanitizer on a GPU (beta release)

Programming Languages

C++ 8 C 7 Python 5 Cuda 2 LLVM 2

Ecosyste.ms: Awesome

awesome-sanitizer

C/C++

Address Sanity

Undefined Behavior

Data Races

Uninitialized Reads

Type Confusion

Dataflow Analysis

address sanity

Rust

Address Sanity

Uninitialized Reads

undefined behavior

data races

GPU

Data Races

Sanitizers by Vendors

Etc

Data Races

uninitialized reads

type confusion

dataflow analysis

sanitizers by vendors