Skip to content

junwha/awesome-sanitizer

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

34 Commits
 
 
 
 
 
 

Repository files navigation

Awesome Sanitizer Awesome

A curated list of sanitizer resources.

Sanitizers are dynamic tools that detect software bugs through compiler instrumentation.

Contents

C/C++

address sanity

AddressSanitizer - A Fast Address Sanity Checker.

ASAN-- - Debloating Address Sanitizer.

RetroWrite - Statically Instrumenting COTS Binaries for Fuzzing and Sanitization.

BoKASAN - Binary-only Kernel Address Sanitizer for Effective Kernel Fuzzing.

SafePM - a sanitizer for persistent memory.

FuZZan - Efficient Sanitizer Metadata Design for Fuzzing.

SANRAZOR - Reducing Redundant Sanitizer Checks in C/C++ Programs.

OBSan - An Out-Of-Bound Sanitizer to Harden DNN Executables.

ASanity - On Bug Shadowing by Early ASan Exits.

undefined behavior

UndefinedBehaviorSanitizer (Clang documentation)

data races

ThreadSanitizer - data race detection in practice.

uninitialized reads

MemorySanitizer - fast detector of uninitialized memory use in C++.

MTSan - A Feasible and Practical Memory Sanitizer for Fuzzing {COTS} Binaries.

FloatZone - Accelerating Memory Error Detection using the Floating Point Unit.

type confusion

TypeSan - Practical Type Confusion Detection.

CastSan - Efficient Detection of Polymorphic C++ Object Type Confusions with LLVM.

HexType - Efficient Detection of Type Confusion Errors for C++.

EffectiveSan - type and memory error detection using dynamically typed C/C++.

TCD - Statically Detecting Type Confusion Errors in C++ Programs.

type++ - Prohibiting Type Confusion with Inline Type Information

dataflow analysis

DataFlowSanitizer (Clang documentation)

Rust

address sanity

AddressSanitizer (The Rust Unstable Book)

HWAddressSanitizer (The Rust Unstable Book)

ERASan - Efficient Rust Address Sanitizer.

data races

ThreadSanitizer (The Rust Unstable Book)

uninitialized reads

MemorySanitizer (The Rust Unstable Book)

MemTagSanitizer (The Rust Unstable Book)

GPU

sanitizers by vendors

NVIDIA: cuCatch - A Debugging Tool for Efficiently Catching Memory Safety Violations in CUDA Applications

AMD: Using the AddressSanitizer on a GPU (beta release)

data races

iGUARD - In-GPU Advanced Race Detection

ETC

NeuralSanitizer - Detecting Backdoors in Neural Networks.

DySan - Dynamically Sanitizing Motion Sensor Data Against Sensitive Inferences through Adversarial Networks.

Contributing

Please refer to the guidelines at Contributing.md for details.

Table of contents generated with markdown-toc