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.☆17Feb 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 Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 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 4 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 last year
- Code and data release for CCS'2022 paper "Understanding IoT Security from a Market-Scale Perspective"☆12Apr 13, 2023Updated 3 years ago
- Eselsohr is a self-hostable bookmark manager for storing web articles.☆10Jun 4, 2026Updated last month
- Search and download applications from apkpure.com☆16Apr 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☆20Mar 1, 2021Updated 5 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.
- Non-Distinguishable Inconsistencies as a Deterministic Oracle for Detecting Security Bugs☆16Nov 7, 2022Updated 3 years ago
- Use angr in Ghidra☆622Jul 29, 2024Updated last year
- ☆27Feb 9, 2023Updated 3 years ago
- ☆37May 23, 2026Updated last month
- I got Knuth'd: A compiler for documents☆15Jun 8, 2026Updated last month
- 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 8 months ago
- ☆19Feb 6, 2023Updated 3 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.
- ☆13Dec 8, 2016Updated 9 years ago
- ☆13Mar 29, 2021Updated 5 years ago
- Hook for the PoC for exploiting CVE-2024-32002☆18May 19, 2024Updated 2 years ago
- Predicated LL (recursive descent) parser in pure rust☆20Apr 11, 2026Updated 3 months ago
- Sys, but no longer in Haskell☆19Mar 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
- Computationally friendly hyper-parameter search with DP-SGD☆27Jan 7, 2025Updated last year
- 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.
- RuCTF 2016 repository☆16Nov 16, 2019Updated 6 years ago
- Improved DP-SGD for optimizing☆20Mar 23, 2019Updated 7 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☆26Updated this week
- ☆13May 9, 2021Updated 5 years ago