trailofbits / LeftoverLocalsReleaseLinks
The public release of LeftoverLocals code
☆70Updated last year
Alternatives and similar repositories for LeftoverLocalsRelease
Users that are interested in LeftoverLocalsRelease are comparing it to the libraries listed below
Sorting:
- Binary-only fuzzer for WebAssembly (WASI)☆51Updated last year
- A command line tool for extracting machine learning ready data from software binaries powered by Radare2☆72Updated 6 months ago
- ☆48Updated 3 years ago
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆52Updated 5 months ago
- iTLB multihit PoC☆42Updated 2 years ago
- ☆75Updated last year
- A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes☆42Updated 2 years ago
- ☆33Updated 9 months ago
- A tool to perform so called BGE attack☆25Updated 5 months ago
- Spectre based on Linear Address Masking☆67Updated last year
- TrustZone Trusted Application 0-Days by Design☆24Updated 6 months ago
- Artifact of "Indirector: High-Precision Branch Target Injection Attacks Exploiting the Indirect Branch Predictor" [USENIX Security 2024]☆64Updated last year
- ☆23Updated 2 years ago
- Demo showing Claude Opus does not find CVE-2023-0266☆15Updated last year
- Uncovering Container Confusion in the Linux Kernel☆45Updated last year
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 3 years ago
- ☆60Updated 3 months ago
- An automated setup for fuzzing Redis w/ AFL++☆34Updated 3 years ago
- CTF Challenge for CSAW Finals 2021☆12Updated 4 years ago
- ELF binary forensics tool for APT, virus, backdoor and rootkit detection☆50Updated last year
- Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers☆58Updated 6 months ago
- Pathfinder: High-Resolution Control-Flow Attacks Exploiting the Conditional Branch Predictor☆21Updated last year
- BinjaryNinja plugin for a ShellStorm like assembly/disassembly experience☆17Updated 11 months ago
- Ledger Donjon CTF 2020☆17Updated 4 years ago
- Coverage-Guided Greybox Distributed Fuzzer☆132Updated 7 months ago
- Proof-of-concept for the GhostWrite CPU bug.☆115Updated last year
- Crashbench is a LLM benchmark to measure bug-finding and reporting capabilities of LLMs☆13Updated last year
- ☆79Updated last year
- Python interface for Binexport, the Bindiff export format☆17Updated 3 weeks ago
- Static analysis tool based on clang, which detects source-to-binary information leaks in C and C++ projects☆86Updated 3 years ago