A Ghidra extension that allows you to run Angr symbolic execution using the Pcode from Ghidra.
☆16Nov 11, 2021Updated 4 years ago
Alternatives and similar repositories for PcodeSym
Users that are interested in PcodeSym are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Adding trace to DesignStart for easier side-channel analysis on the CW305 target. Also supports PhyWhisperer.☆18Feb 19, 2025Updated last year
- ☆11Feb 25, 2023Updated 3 years ago
- tinyrobotics - A lightweight, fast and versatile C++ library for robotics.☆13Nov 22, 2023Updated 2 years ago
- An Empirical Study of AI Techniques in Mobile Applications☆12May 28, 2024Updated 2 years ago
- Example setup for compiling Rust code that depends on an unmodified tree-sitter crate to the web via WebAssembly (and WASI).☆15Oct 28, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Leveraging network topology for better fake account detection in social networks☆10Jul 6, 2023Updated 3 years ago
- Add a global delay to Command-Q to stop accidental app quits.☆11Mar 8, 2026Updated 5 months ago
- Stack String Explorer is a ghidra plugin to find and report stack strings (and other constant strings). Identified strings are commented …☆24Aug 20, 2024Updated 2 years ago
- Code and data release for CCS'2022 paper "Understanding IoT Security from a Market-Scale Perspective"☆11Apr 13, 2023Updated 3 years ago
- Eselsohr is a self-hostable bookmark manager for storing web articles.☆10Jun 4, 2026Updated 2 months ago
- Search and download applications from apkpure.com☆17Apr 18, 2023Updated 3 years ago
- Python 3 bridge to Ghidra's Python scripting☆362Jan 30, 2023Updated 3 years ago
- ☆13Dec 22, 2023Updated 2 years ago
- Just a small repo of the most popular Cyber security books☆24Mar 1, 2021Updated 5 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Non-Distinguishable Inconsistencies as a Deterministic Oracle for Detecting Security Bugs☆16Nov 7, 2022Updated 3 years ago
- Use angr in Ghidra☆624Jul 29, 2024Updated 2 years ago
- ☆27Feb 9, 2023Updated 3 years ago
- ☆38May 23, 2026Updated 3 months ago
- I got Knuth'd: A compiler for documents☆15Jun 8, 2026Updated 2 months ago
- Add a global delay to Command-Q to stop accidental app quits.☆13Dec 28, 2020Updated 5 years ago
- A set of codes to help you deal with your Physics Chemistry Lab. course☆12Jan 23, 2018Updated 8 years ago
- Pritunl Zero Docker image☆18Nov 12, 2025Updated 9 months ago
- ☆19Feb 6, 2023Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆13Dec 8, 2016Updated 9 years ago
- ☆13Mar 29, 2021Updated 5 years ago
- Predicated LL (recursive descent) parser in pure rust☆22Apr 11, 2026Updated 4 months ago
- Hook for the PoC for exploiting CVE-2024-32002☆18May 19, 2024Updated 2 years ago
- Sys, but no longer in Haskell☆20Mar 14, 2022Updated 4 years ago
- Python module for platform, iospace and physmem inspection☆24Apr 17, 2020Updated 6 years ago
- Web interface for monitoring and interacting with Netflow data stored in Silk repositories.☆13Mar 24, 2019Updated 7 years ago
- Plugins and signatures☆13Jun 11, 2019Updated 7 years ago
- Improved DP-SGD for optimizing☆20Mar 23, 2019Updated 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.
- RuCTF 2016 repository☆16Nov 16, 2019Updated 6 years ago
- a 2.4 GHz SDR neighbor using 1 bit ADC☆30Dec 6, 2021Updated 4 years ago
- ProVerif-ATP - Combining ProVerif and Automated Theorem Provers for Security Protocol Verification☆30Mar 10, 2020Updated 6 years ago
- Colorize Reached Blocks in IDA Pro using DynamoRIO drcov Output☆20Jun 15, 2023Updated 3 years ago
- Pybind11 bindings for the Abseil C++ Common Libraries☆27Aug 17, 2026Updated last week
- Python code optimizer.☆21Nov 1, 2014Updated 11 years ago
- GPTZoo: A Large-scale Dataset of GPTs for the Research Community☆27Jun 18, 2024Updated 2 years ago