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 hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 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 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 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☆22Mar 1, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Non-Distinguishable Inconsistencies as a Deterministic Oracle for Detecting Security Bugs☆16Nov 7, 2022Updated 3 years ago
- Use angr in Ghidra☆623Jul 29, 2024Updated 2 years ago
- ☆27Feb 9, 2023Updated 3 years ago
- ☆37May 23, 2026Updated 2 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 8 months ago
- ☆19Feb 6, 2023Updated 3 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.
- ☆13Dec 8, 2016Updated 9 years ago
- ☆13Mar 29, 2021Updated 5 years ago
- Predicated LL (recursive descent) parser in pure rust☆21Apr 11, 2026Updated 3 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
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- 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☆26Aug 2, 2026Updated last week
- Python code optimizer.☆21Nov 1, 2014Updated 11 years ago
- GPTZoo: A Large-scale Dataset of GPTs for the Research Community☆26Jun 18, 2024Updated 2 years ago