Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)
☆77Sep 23, 2022Updated 4 years ago
Alternatives and similar repositories for pitchfork
Users that are interested in pitchfork are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- *pinja_sec☆11Apr 1, 2023Updated 3 years ago
- Course sample for SMT-Based Binary Program Analysis training class☆33Apr 19, 2018Updated 8 years ago
- Code for my blog post on combining S2E and Kaitai Struct☆15Jun 1, 2019Updated 7 years ago
- KLEESpectre is a symbolic execution engine with speculation semantic and cache modelling☆37Feb 28, 2020Updated 6 years ago
- Detect patterns of bad behavior in function calls☆25Jul 21, 2020Updated 6 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.
- x86 Dynamic Binary Translator Library☆33Dec 19, 2020Updated 5 years ago
- Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.☆18Oct 19, 2023Updated 3 years ago
- Automatic detection of speculative information flows☆76Jul 14, 2021Updated 5 years ago
- Angr-based static analysis tool for vusec/vuzzer64 fuzzing tool☆22Aug 3, 2020Updated 6 years ago
- Toshiba MeP-c4 for Ghidra☆22May 29, 2019Updated 7 years ago
- Implementation of TraFix (automatic trainable decompiler based on NMT) as published in ArXiv☆40Nov 23, 2019Updated 6 years ago
- Curriculum Vitae European & Biography☆35Aug 11, 2023Updated 3 years ago
- A coverage-based software testing tool☆34Dec 11, 2020Updated 5 years ago
- A tool for checking exploitability☆211May 31, 2019Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- SymGDB - symbolic execution plugin for gdb☆218May 15, 2018Updated 8 years ago
- Abstract library to generate angr states from a debugger state☆63Jul 5, 2020Updated 6 years ago
- Use angr inside GDB. Create an angr state from the current debugger state.☆205Jul 22, 2020Updated 6 years ago
- Reverse engineering software using a full system simulator☆195Updated this week
- PoC for the taint-based ROP approach☆14Jul 16, 2023Updated 3 years ago
- crauEmu is an uEmu extension for developing and analyzing payloads for code-reuse attacks☆110Dec 11, 2019Updated 6 years ago
- Use angr in the IDA Pro debugger generating a state from the current debug session☆287Jul 22, 2020Updated 6 years ago
- ☆18May 13, 2019Updated 7 years ago
- A function tracer☆92Jun 4, 2019Updated 7 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.
- IDA+Triton plugin in order to extract opaque predicates using a Forward-Bounded DSE. Example with X-Tunnel.☆57Aug 17, 2019Updated 7 years ago
- Common javascript functions without jquery☆16Nov 5, 2024Updated 2 years ago
- Handy utilities for the angr binary analysis framework, most notably CFG visualization☆301Mar 15, 2019Updated 7 years ago
- An abstraction layer for constraint solvers.☆335Updated this week
- Fuzzing the Kernel Using Unicornafl and AFL++☆306Jan 2, 2023Updated 3 years ago
- Fork of Synacktiv's private Lumina server☆20Feb 22, 2022Updated 4 years ago
- afl-unicorn lets you fuzz any piece of binary that can be emulated by Unicorn Engine.☆620Jun 18, 2023Updated 3 years ago
- ARMv7 architecture plugin☆40Mar 7, 2024Updated 2 years ago
- Testing Intermediate Representations for Binary Analysis (ASE '17)☆82Dec 5, 2018Updated 7 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Interface GDB-GEF with Binary Ninja☆57Mar 27, 2021Updated 5 years ago
- Code and exercises for a workshop on z3 and angr☆237Dec 29, 2020Updated 5 years ago
- FastSpec: Scalable Generation and Detection of Spectre Gadgets Using Neural Embeddings☆13Apr 12, 2023Updated 3 years ago
- Yet another implementation of AEG (Automated Exploit Generation) using symbolic execution engine Triton.☆34Jul 29, 2018Updated 8 years ago
- ☆183Nov 25, 2018Updated 7 years ago
- Grey-box Concolic Testing on Binary Code (ICSE '19)☆155Oct 4, 2021Updated 5 years ago
- Dynamic analysis of binary programs to retrieve function-related information (arity, type of parameters, coupling).☆71Sep 5, 2017Updated 9 years ago