Convert low ghidra pcode to verifiable C
☆24Sep 13, 2024Updated last year
Alternatives and similar repositories for pcode2c
Users that are interested in pcode2c are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Main repo for ESORICS 2025 paper “LibAFLstar: Fast, State-aware Protocol Fuzzing”☆22Sep 13, 2025Updated 10 months ago
- Disassembly of the 1989 Tengen version of Tetris for the NES☆14Dec 16, 2024Updated last year
- Nintendo 3DS: Linux <-> ARM9☆15Nov 7, 2020Updated 5 years ago
- a simple crawler for diagnosing connectivity issues in the ipfs network☆13Jan 22, 2019Updated 7 years ago
- Zero-dependency single-file C header for VPX coding, a form of Arithmetic coding.☆20Aug 17, 2025Updated 11 months 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.
- bil verification tool☆12Jun 30, 2022Updated 4 years ago
- simple type recognition in decompiled executables☆121Jul 4, 2024Updated 2 years ago
- ntrboot with a Pi Pico / other RP2 boards☆25Aug 13, 2022Updated 3 years ago
- A book about datalog☆13Nov 26, 2022Updated 3 years ago
- Decrypts the ClCertA files.☆16Aug 27, 2015Updated 10 years ago
- ☆22Oct 13, 2025Updated 9 months ago
- boot ROM dumper for the WiiU gamepad☆20May 11, 2025Updated last year
- Dakrone's custom light Emacs theme☆13Aug 8, 2017Updated 8 years ago
- QEMU-AVR32 OPS-SAT Emulator☆16Sep 28, 2023Updated 2 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.
- Renesas RL78 processor module for IDA☆20Jul 29, 2018Updated 7 years ago
- Distributed Protocol Combinators☆14Apr 11, 2021Updated 5 years ago
- AllWinner F1c100s SoC 调试开发笔记☆11May 3, 2022Updated 4 years ago
- A mutation testing tool designed to work with large C++ (and C) codebases.☆13Jul 13, 2026Updated last week
- A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs☆20Jan 14, 2021Updated 5 years ago
- BrickPico - Open Source LED Light Controller☆16Aug 28, 2025Updated 10 months ago
- QEMU-based Memory Sanitizer for binary software.☆23Nov 19, 2025Updated 8 months ago
- ☆17Jan 31, 2023Updated 3 years ago
- Ghidra Plugin for Fujitsu FR60 Processors. Focused on DVRP's MB91302A in the Sony PSX.☆41Apr 25, 2026Updated 2 months 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.
- ☆15Feb 21, 2023Updated 3 years ago
- 🌳 Automated triage scanner for Windows kernel driver vulnerabilities. Ghidra headless + heuristic scoring.☆16Jul 1, 2026Updated 2 weeks ago
- MyoPi - Make Your Own Pi☆11Sep 23, 2024Updated last year
- Tools for converting Nintendo DS binaries to an ELF file for Ghidra/IDA☆26Jan 28, 2022Updated 4 years ago
- Converting Assembly back to C Code using Transformers.☆28Feb 3, 2024Updated 2 years ago
- Simple NixOS-like Docker containers with declarative config☆23Aug 17, 2022Updated 3 years ago
- 100% libre WonderSwan C toolchain☆31Feb 20, 2023Updated 3 years ago
- Cross compile minimal NixOS to aarch64☆21Aug 6, 2018Updated 7 years ago
- Experimental MLIR based points-to analysis tool☆18Apr 29, 2026Updated 2 months 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.
- ECG Scanner to detect R peaks and heart failure based on the QRS algorithm written in C.☆10Oct 28, 2014Updated 11 years ago
- Boba Network Monorepo of the Optimism monorepo☆13Jul 9, 2026Updated last week
- Cyber Security Article Gather By 风起☆22Mar 13, 2025Updated last year
- view and extract data from a 3DS OTP☆27Oct 19, 2021Updated 4 years ago
- Embedded GPS Project☆14Dec 9, 2024Updated last year
- Dockerfile that builds a bootable ISO with Linux, Bash, Toybox, Busybox and mounts the virtio 9p export with the "host9p" mount_tag, and …☆20Apr 27, 2022Updated 4 years ago
- LLOS 是一款轻量级的可以在支持 64bit 变量的 MCU 上运行的非实时资源管理系统，以事件驱动的方式实现线程管理，目的是取代裸机编程。系统内核提供简单的线程管理、任务间通信、软定时器、RTC、动态内存管理和设备驱动框架。另外截至目前，已经配备了了好用且功能强大的 按键…☆12Nov 4, 2025Updated 8 months ago