yadav-sachin / spectre-attackLinks
Variant 1 of the Spectre attack which is to bypass the bounds checks in the target process and retrieve the private data. Here in this example, I have demonstrated how to retrieve a string data using the attack.
☆10Updated 5 years ago
Alternatives and similar repositories for spectre-attack
Users that are interested in spectre-attack are comparing it to the libraries listed below
Sorting:
- Proof of Concept of exploit against Spectre Variant 2 Vulnerability☆21Updated 5 years ago
- CSCD70 Compiler Optimization☆260Updated 2 years ago
- Static Analysis Course☆80Updated 2 months ago
- CAMP: Compiler and Allocator-based Heap Memory Protection (USENIX Security 2024) ✨ Please give a star to https://github.com/cla7aye15I4nd…☆46Updated last year
- SymCC: efficient compiler-based symbolic execution☆848Updated 6 months ago
- Teaching and Learning Software Analysis via SVF☆211Updated last month
- A wrapper script to build whole-program LLVM bitcode files☆720Updated 11 months ago
- CFG explorer for binaries☆38Updated last year
- This is a tutorial on how to write an LLVM Pass using the (kind-of) new PassManager. It is compiled from different sources referenced in …☆58Updated 6 years ago
- A step-by-step tutorial for building an LLVM sample pass☆221Updated 5 years ago
- A powerful static binary rewriting tool☆1,062Updated 3 weeks ago
- Recent symbolic execution papers and tools.☆180Updated 6 months ago
- S2E: A platform for multi-path program analysis with selective symbolic execution.☆499Updated last month
- ☆26Updated 9 years ago
- Andersen's inclusion-based pointer analysis re-implementation in LLVM☆231Updated 6 years ago
- Source code of ASAN--☆102Updated last year
- ☆36Updated 5 months ago
- Anything about kernel security. CTF kernel pwn, kernel exploit, kernel fuzz and kernel defense paper, kernel debugging technique, kernel…☆738Updated 2 months ago
- Whole Program LLVM: wllvm ported to go☆328Updated last year
- Learning and Teaching Software Analysis and Verification via SVF☆26Updated 4 months ago
- example LLVM pass☆597Updated 8 months ago
- The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github…☆11Updated 3 months ago
- ☆40Updated last year
- clang & llvm examples, e.g. AST Interpreter, Function Pointer Analysis, Value Range Analysis, Data-Flow Analysis, Andersen Pointer Analys…☆276Updated 3 years ago
- Program Analysis framework using LLVM. Course project of Advanced Compiler☆18Updated 8 years ago
- [ICSE 2022] Controlled Concurrency Testing via Periodical Scheduling☆36Updated 3 years ago
- A high performance LLVM-based dynamic binary instrumentation framework☆284Updated last year
- Anderson points-to analysis implementation based on LLVM☆12Updated 4 years ago
- SymQEMU: Compilation-based symbolic execution for binaries☆361Updated 6 months ago
- Teaching and Learning Software Verification via SVF☆34Updated 4 months ago