KLEESpectre is a symbolic execution engine with speculation semantic and cache modelling
☆37Feb 28, 2020Updated 6 years ago
Alternatives and similar repositories for kleespectre
Users that are interested in kleespectre are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.☆18Oct 19, 2023Updated 3 years ago
- FastSpec: Scalable Generation and Detection of Spectre Gadgets Using Neural Embeddings☆13Apr 12, 2023Updated 3 years ago
- oo7, a binary analysis tool to defend against Spectre vulnerabilities☆37Oct 16, 2020Updated 6 years ago
- User-mode part of Zerokit platform☆23Mar 30, 2019Updated 7 years ago
- Artifact for paper: Breaking and Fixing Speculative Load Hardening☆11Jan 3, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Code editor with Linux shell for iOS☆20Jan 25, 2024Updated 2 years ago
- ☆10Oct 28, 2020Updated 6 years ago
- use afl to fuzz swift program☆25Nov 3, 2017Updated 9 years ago
- AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)☆11Oct 20, 2020Updated 6 years ago
- Automatic detection of speculative information flows☆76Jul 14, 2021Updated 5 years ago
- Escalation of privilege exploit for Dell BIOS flasher (Flash64W) (2017)☆13Dec 7, 2020Updated 5 years ago
- PoC for CVE-2019-0888 - Use-After-Free in Windows ActiveX Data Objects (ADO)☆39Jul 9, 2019Updated 7 years ago
- TSAR (Traits Static AnalyzeR)☆14May 3, 2024Updated 2 years ago
- Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)☆77Sep 23, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Tools made for my Hyper-V blog series @ https://foxhex0ne.blogspot.com/☆58Jun 21, 2020Updated 6 years ago
- Transform any ARM macho executable to a dynamic library☆23Mar 19, 2020Updated 6 years ago
- ☆18Feb 6, 2019Updated 7 years ago
- ☆12Feb 19, 2017Updated 9 years ago
- Linux kernel branches for confidential compute research☆20Apr 6, 2026Updated 6 months ago
- QEMU to drcov trace file☆12Nov 21, 2020Updated 5 years ago
- exploit termdd.sys(support kb4499175)☆61Jul 15, 2019Updated 7 years ago
- ☆13Feb 17, 2021Updated 5 years ago
- SentinelOne's KeRnel Exploits Advanced Mitigations☆55Nov 1, 2018Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Kernel Stack info leak at exportObjectToClient function☆40May 21, 2019Updated 7 years ago
- Toy implementation of a Automated Exploit Generation built on Angr; stiched using radare, pwntools, pyelftools, and Angrop.☆16Jan 9, 2022Updated 4 years ago
- .NET Framework 4.0 based Driver Loader for NoirVisor☆14Jan 12, 2021Updated 5 years ago
- A tool for detecting Spectre vulnerabilities through fuzzing☆46Aug 25, 2021Updated 5 years ago
- CRETE under development☆60Jun 30, 2020Updated 6 years ago
- Repository hosting resources for the "Lean Tutorial in Vienna" at TU Wien from September 18 to 20, 2024.☆14Jan 14, 2025Updated last year
- XPN's RpcEnum but based on IDA instead of Ghidra☆20Aug 17, 2019Updated 7 years ago
- ios kernel class tree☆23May 30, 2019Updated 7 years ago
- Using GNU lightning to generate xor deobfuscation at runtime☆27Aug 22, 2017Updated 9 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- do not debug me☆11Jun 26, 2019Updated 7 years ago
- Export IDA microcode to BinExport format so that you can use BinDiff to diff microcodes☆12Sep 21, 2024Updated 2 years ago
- Analysis and Modification Tool for Executables☆18Mar 28, 2019Updated 7 years ago
- Idapro cpu for OpenRISC arch☆15Mar 25, 2017Updated 9 years ago
- AllMemPro☆46Jan 15, 2018Updated 8 years ago
- ☆12Nov 6, 2017Updated 8 years ago
- Corpus set used by DIE☆42May 20, 2020Updated 6 years ago