Thanh-WuTan / YAN85-SymbolicExecutionToolkitLinks
A Python tool using Angr for symbolic execution to deobfuscate YAN85 binaries, auto-identifying registers, opcodes, and syscalls. Includes an autoassembler to generate shellcode from readable code.
☆11Updated 3 weeks ago
Alternatives and similar repositories for YAN85-SymbolicExecutionToolkit
Users that are interested in YAN85-SymbolicExecutionToolkit are comparing it to the libraries listed below
Sorting:
- Collection of OpenStack Terraform modules (WIP)☆11Updated 7 months ago
- PlanqX EDR is an open-source, advanced Endpoint Detection and Response (EDR) solution for Windows, offering real-time system and network …☆14Updated last month
- This tool converts OVA (Open Virtual Appliance) or VMDK (Virtual Machine Disk) files to Docker container format.☆10Updated 6 months ago
- The Keccak hash algorithm implemented inside of a RAR archive using the RAR filter assembly language☆23Updated 10 years ago
- A small and simple regular expression matcher for assembly code.☆10Updated 2 years ago
- A virtual ternary OISC machine (One Instruction Set Computer) inspired by 1950s Soviet hardware☆9Updated 4 years ago
- An evolutionary source-code fuzzer☆12Updated 2 months ago
- ConFuzz is an advanced FPGA configuration engine fuzzing and rapid prototyping framework based on boofuzz and OpenOCD.☆15Updated 2 weeks ago
- Markdown of "Using GNU's GDB Debugger" By Peter Jay Salzman.☆12Updated 6 years ago
- A side-channel attack vector based on interrupt latency against enclave execution of Intel SGX☆10Updated 4 years ago
- A SystemVerilog-based simulation and design of a Last Level Cache (LLC) implementing the MESI protocol, featuring Pseudo-LRU replacement,…☆10Updated 6 months ago
- MIPS simulator in C++☆11Updated 5 years ago
- Simulator for MMIX, a 64-bit big-endian RISC architecture, developed by Donald Knuth.☆8Updated 9 months ago
- A RISC-V RV32 model ready for SMT program synthesis.☆11Updated 4 years ago
- SonicBOOM Spectre Attacks☆8Updated 4 years ago
- A GNU/Linux specific toolkit for making and managing jails which are OS level virtualization containers. Implemented using shell scripts …☆10Updated 4 months ago
- Web-based RISC-V superscalar simulator☆16Updated 3 months ago
- The Linux Foundation/Redwood EDA "Building a RISC-V CPU" Course content, also available via EdX.☆13Updated last year
- work in progress, playing around with btor2 in rust☆11Updated 3 weeks ago
- A computer built as a cellular automation pattern☆13Updated 2 years ago
- cpufuzz is a dumb, simple and portable CPU fuzzer☆11Updated 6 years ago
- OpenRISC processor IP core based on Tomasulo algorithm☆11Updated 3 years ago
- PoC for the LazyFP vulnerability☆11Updated 2 years ago
- Tools created for the DARPA Cyber Grand Challenge that visualize software execution based on traces generated by the CGC Monitor and a Un…☆14Updated 7 years ago
- ☆12Updated 10 months ago
- Malware detection tool for Windows PE files based on DFIR ORC data☆9Updated 2 months ago
- Jet OS is the new operating system. For research purposes. Note: JetOS is not Linux, Unix, ... but a completely new kernel. Make with Cos…☆10Updated 3 years ago
- Iodine: Verifying Constant-Time Execution of Hardware☆13Updated 4 years ago
- Lispkit Lisp/SECD Machine☆12Updated 7 years ago
- This repo includes the artifacts for the NDSS 2025 paper "Wallbleed: A Memory Disclosure Vulnerability in the Great Firewall of China": h…☆32Updated 4 months ago