☆25Oct 4, 2018Updated 7 years ago
Alternatives and similar repositories for sanitizing-for-security-benchmarks
Users that are interested in sanitizing-for-security-benchmarks are comparing it to the libraries listed below
Sorting:
- ☆37May 19, 2023Updated 2 years ago
- Compiler-assisted Code Randomization (CCR) Toolchain☆66Oct 4, 2022Updated 3 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
- Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)☆56May 24, 2022Updated 3 years ago
- Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools☆14Feb 19, 2019Updated 7 years ago
- SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.☆56Jun 6, 2021Updated 4 years ago
- ☆14Oct 11, 2017Updated 8 years ago
- ☆17Apr 18, 2019Updated 6 years ago
- ☆15May 26, 2021Updated 4 years ago
- Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)☆34Jan 27, 2025Updated last year
- An extendable and flexible infrastructure for program instrumentation.☆24Feb 19, 2026Updated last week
- ☆16Sep 29, 2022Updated 3 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
- kMVX: Detecting Kernel Information Leaks with Multi-variant Execution☆22Aug 30, 2019Updated 6 years ago
- Piecewise debloating toolchain☆15Dec 21, 2019Updated 6 years ago
- ☆20Jun 7, 2025Updated 8 months ago
- ☆38Feb 15, 2022Updated 4 years ago
- 20 benchmark programs☆52Mar 17, 2021Updated 4 years ago
- ☆20Dec 18, 2018Updated 7 years ago
- ☆18Sep 4, 2023Updated 2 years ago
- Automatic Compartments for Embedded Systems☆24Mar 6, 2020Updated 5 years ago
- ☆20Mar 10, 2022Updated 3 years ago
- ☆19Apr 7, 2023Updated 2 years ago
- Facilitating control-flow hijacking primitive evaluation for Linux kernel vulnerability☆62Sep 4, 2019Updated 6 years ago
- LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.☆142Sep 19, 2018Updated 7 years ago
- Symbolic Execution Over Processor Traces☆127Aug 14, 2024Updated last year
- Compartmentalised monolithic library OS☆20Jul 15, 2021Updated 4 years ago
- Security Test Benchmark for Computer Architectures☆21Sep 24, 2025Updated 5 months ago
- ☆55Mar 30, 2020Updated 5 years ago
- ☆22Nov 12, 2020Updated 5 years ago
- ☆15May 6, 2021Updated 4 years ago
- This repository accompanies the research paper "P. Kreutzer, S. Kraus, M. Philippsen: Language-Agnostic Generation of Compilable Test Pro…☆12Jul 8, 2022Updated 3 years ago
- Modify ELF executables☆16Mar 5, 2019Updated 6 years ago
- Implement CollAFL using LLVM LTO pass on afl++.☆12Sep 24, 2020Updated 5 years ago
- ☆38Feb 6, 2021Updated 5 years ago
- This is the repository for the code and artifacts related to the CCS2022 paper: C2C: Fine-grained Configuration-driven System Call Filter…☆11Nov 4, 2022Updated 3 years ago
- ☆27Sep 5, 2025Updated 5 months ago
- Hardware-assisted Data-flow Isolation☆29Jan 28, 2018Updated 8 years ago
- This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Red…☆38Nov 14, 2024Updated last year