Understand and mitigate software-observable side-channels
☆506Jan 6, 2021Updated 5 years ago
Alternatives and similar repositories for safeside
Users that are interested in safeside are comparing it to the libraries listed below
Sorting:
- Website and PoC collection for transient execution attacks☆203Mar 9, 2024Updated last year
- RIDL test suite and exploits☆366Jun 9, 2020Updated 5 years ago
- clang-based search engine for C/C++ data structures, classes, prototypes & macros☆103Jul 15, 2025Updated 7 months ago
- SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017☆26May 5, 2021Updated 4 years ago
- print information from LLVM dataflow analyses☆13Jan 22, 2020Updated 6 years ago
- ☆48Dec 19, 2018Updated 7 years ago
- A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.☆168Dec 4, 2025Updated 2 months ago
- Rage Against The Machine Clear: A Systematic Analysis of Machine Clears and Their Implications for Transient Execution Attacks☆25Jun 11, 2021Updated 4 years ago
- An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.☆588Feb 20, 2026Updated last week
- Diablo is a retargetable link-time binary rewriting framework☆82Dec 21, 2020Updated 5 years ago
- Automatic detection of speculative information flows☆75Jul 14, 2021Updated 4 years ago
- Proof-of-concept code for the SMoTherSpectre exploit.☆77Nov 12, 2019Updated 6 years ago
- SymCC: efficient compiler-based symbolic execution☆856May 12, 2025Updated 9 months ago
- This repository contains exploit and reverse-engineering source code regarding the Spectre-BHB/Branch History Injection vulnerability☆121Apr 12, 2022Updated 3 years ago
- Safely execute an arbitrary x86 instruction☆205Feb 6, 2024Updated 2 years ago
- Tool to Analyze Speculative Execution Attacks and Mitigations☆56Dec 8, 2021Updated 4 years ago
- Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools☆14Feb 19, 2019Updated 7 years ago
- Proof-of-concept for the ZombieLoad attack☆827Dec 24, 2021Updated 4 years ago
- Pong revolution.☆16Oct 26, 2025Updated 4 months ago
- Constant-time choose between two variables in Clang/LLVM☆20Apr 14, 2018Updated 7 years ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆29Jul 7, 2021Updated 4 years ago
- Docs and resources on CPU Speculative Execution bugs☆375Jan 28, 2018Updated 8 years ago
- Tool for testing and finding minimal eviction sets☆108May 6, 2021Updated 4 years ago
- A practical attack framework for precise enclave execution control☆471Jan 16, 2026Updated last month
- QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing☆655Nov 23, 2022Updated 3 years ago
- This repository contains several tools to perform Cache Template Attacks☆165Nov 11, 2025Updated 3 months ago
- Ledger's Advanced Side-Channel Analysis Repository☆403Sep 5, 2023Updated 2 years ago
- Modular And Compositional analysis with KLEE Engine☆117Dec 17, 2019Updated 6 years ago
- llvm-mctoll☆869Jun 22, 2024Updated last year
- oo7, a binary analysis tool to defend against Spectre vulnerabilities☆34Oct 16, 2020Updated 5 years ago
- syzkaller is an unsupervised coverage-guided kernel fuzzer☆6,074Updated this week
- Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic e…☆954Jul 18, 2022Updated 3 years ago
- Scalable Validator for Binary Lifters☆62Jun 28, 2020Updated 5 years ago
- ☆17Jun 26, 2025Updated 8 months ago
- ☆17Aug 25, 2022Updated 3 years ago
- LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.☆142Sep 19, 2018Updated 7 years ago
- A research kernel and hypervisor attempting to get fully deterministic emulation with minimum performance cost☆542Mar 21, 2021Updated 4 years ago
- Revizor - Hardware fuzzing for the age of speculation☆179Feb 23, 2026Updated last week
- A Tool for the Static Analysis of Cache Side Channels☆42Mar 5, 2017Updated 8 years ago