☆18Sep 4, 2023Updated 2 years ago
Alternatives and similar repositories for dangzero
Users that are interested in dangzero are comparing it to the libraries listed below
Sorting:
- Partitioned Unit Memory Management☆16Nov 28, 2022Updated 3 years ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆90Sep 18, 2025Updated 5 months ago
- Prototype allocator for the prevention of use-after-free attacks, as described in the S&P 2020 Paper - "MarkUs: Drop-in use-after-free pr…☆14Jan 14, 2022Updated 4 years ago
- An extendable and flexible infrastructure for program instrumentation.☆24Feb 19, 2026Updated last week
- Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper☆13Oct 3, 2022Updated 3 years ago
- ☆35Feb 4, 2026Updated 3 weeks ago
- An standalone execution trace library built on DynamoRIO.☆23Jul 4, 2022Updated 3 years ago
- Dynamic ControlFlow Graph and DataFlow Graph for Binary-based Optimization☆22Jul 5, 2017Updated 8 years ago
- ☆25Oct 4, 2018Updated 7 years ago
- ☆67May 5, 2021Updated 4 years ago
- The PT tracing portion of Barnum.☆11Feb 8, 2019Updated 7 years ago
- Back to the Whiteboard: a Principled Approach for the Assessment and Design of Memory Forensic Techniques (Usenix '19)☆14Aug 16, 2019Updated 6 years ago
- Implement CollAFL using LLVM LTO pass on afl++.☆12Sep 24, 2020Updated 5 years ago
- ☆12Jun 8, 2021Updated 4 years ago
- ☆10May 12, 2023Updated 2 years ago
- AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)☆11Oct 20, 2020Updated 5 years ago
- ☆70Jul 4, 2024Updated last year
- Runtime type and bounds-error checking for C/C++☆107Dec 18, 2024Updated last year
- ☆25Aug 9, 2021Updated 4 years ago
- MIPS32 emulation fuzzing☆13Nov 17, 2020Updated 5 years ago
- Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools☆14Feb 19, 2019Updated 7 years ago
- ☆14Apr 4, 2024Updated last year
- Code Repository for DataGuard Framework☆13Jul 11, 2023Updated 2 years ago
- A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.☆168Dec 4, 2025Updated 2 months ago
- FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22☆28Apr 17, 2023Updated 2 years ago
- BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation☆31Feb 26, 2021Updated 5 years ago
- Symbolic execution of LLVM IR☆14Jan 3, 2024Updated 2 years ago
- Grey-box fuzzer SIVO☆13Jul 11, 2021Updated 4 years ago
- ☆17Jun 7, 2022Updated 3 years ago
- ☆34Nov 11, 2021Updated 4 years ago
- oo7, a binary analysis tool to defend against Spectre vulnerabilities☆34Oct 16, 2020Updated 5 years ago
- some tlb experimentation code: calculate L1, L2 miss penalties and show cross-HT interference.☆15Aug 30, 2019Updated 6 years ago
- Source code of AsiaCCS'22 paper - RecIPE: Revisiting the Evaluation of Memory Error Defenses☆13Sep 19, 2023Updated 2 years ago
- ☆52Jun 15, 2022Updated 3 years ago
- Fuzzing with controlled compilation☆31Apr 7, 2023Updated 2 years ago
- KLEESpectre is a symbolic execution engine with speculation semantic and cache modelling☆36Feb 28, 2020Updated 6 years ago
- PARTS / LLVM compiler☆31Aug 14, 2019Updated 6 years ago
- Proximal Gradient Analysis open source release based on our USENIX Security 2021 paper: "Fine Grained Dataflow Analysis with Proximal Gra…☆32Apr 29, 2021Updated 4 years ago
- ☆14Oct 11, 2017Updated 8 years ago