junwha / awesome-sanitizerLinks
A curated list of sanitizers to detect bugs
☆17Updated 2 weeks ago
Alternatives and similar repositories for awesome-sanitizer
Users that are interested in awesome-sanitizer are comparing it to the libraries listed below
Sorting:
- CAMP: Compiler and Allocator-based Heap Memory Protection (USENIX Security 2024) ✨ Please give a star to https://github.com/cla7aye15I4nd…☆42Updated last year
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆80Updated last month
- TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets☆95Updated last year
- Static Analysis Course☆73Updated this week
- ☆41Updated 2 years ago
- A universal seed scheduler for fuzzers (LibFuzzer and AFL havoc mode) and concolic execution engine (qsym).☆120Updated 2 years ago
- Source code of ASAN--☆95Updated last year
- Produce code coverage results with gcov from afl-fuzz test cases☆84Updated 6 months ago
- Source code of the paper "FirmRCA: Towards Post-Fuzzing Analysis on ARM Embedded Firmware with Efficient Event-based Fault Localization"☆10Updated last month
- ☆22Updated 4 years ago
- Artifact evaluation of paper: MorFuzz: Fuzzing Processor via Runtime Instruction Morphing enhanced Synchronizable Co-simulation☆30Updated 2 months ago
- CheQ: Automatically Identifying Security Checks for Detecting Kernel Semantic Bugs☆44Updated 5 years ago
- Code of ISSTA'22: PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation☆61Updated 7 months ago
- Teaching and Learning Software Analysis via SVF☆203Updated last month
- ☆51Updated 3 weeks ago
- A list of resources (papers, books, talks, frameworks, tools) for understanding fuzzing for IoT/embedded devices.☆45Updated 3 years ago
- A use-after-free checker based on SVF.☆21Updated 7 years ago
- ☆24Updated 3 months ago
- ☆34Updated 2 years ago
- Recent symbolic execution papers and tools.☆169Updated 2 months ago
- ☆68Updated last year
- ☆37Updated last year
- UT based automated fuzz driver generation☆166Updated 3 months ago
- autofz: Automated Fuzzer Composition at Runtime☆78Updated last year
- ☆18Updated 3 months ago
- StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing☆96Updated last year
- ☆57Updated last year
- BENZENE: A Practical Root Cause Analysis System with an Under-Constrained State Mutation☆25Updated last year
- ☆31Updated last year
- A Refcount-guided Fuzzer for Exposing Temporal Memory Errors in Linux Kernel☆20Updated 3 weeks ago