Battelle / patchwerkLinks
Binary patching framework for Linux kernels
☆48Updated 7 years ago
Alternatives and similar repositories for patchwerk
Users that are interested in patchwerk are comparing it to the libraries listed below
Sorting:
- Linux assembly language minimal 'dynamic ELF' example plus experiments☆25Updated 5 years ago
- ARMv7 architecture plugin☆40Updated last year
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆38Updated last week
- Rewriting functions in compiled binaries using McSema☆91Updated 6 years ago
- Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignore…☆25Updated this week
- QEMU with support for QDSP6 user mode emulation☆33Updated 6 years ago
- A bare-metal x86 instruction set fuzzer a la Sandsifter☆73Updated last year
- Emulating Exynos 4210 BootROM in QEMU☆77Updated 6 years ago
- Lepton is a Lightweight ELF Parsing Tool that was designed specifically for analyzing and editing binaries with damaged or corrupted ELF …☆36Updated 4 years ago
- Hexagon disassembler code generator from the official instruction manual.☆12Updated 5 years ago
- a friendly wrapper around ptrace☆134Updated 3 years ago
- Ghidra P-Code emulation and static LLVM lifting in Python☆38Updated 3 years ago
- Linux kernels (CGC DECREE and vanilla) with S2E extensions☆24Updated last year
- Symbolic execution of LLVM IR traces for program understanding.☆27Updated 11 years ago
- ☆96Updated 5 years ago
- KLEE Symbolic Execution Engine☆60Updated 6 years ago
- LKRG bypass methods☆73Updated 6 years ago
- Ghidra Processor Module to disassemble and decompile the x86 Intel Atom microcode☆88Updated 2 years ago
- A code skeleton of Samsung's Shannon S5000 baseband modem.☆47Updated 6 years ago
- lxfuzz is a grey-box kernel fuzzer used for linux. it is scalable because of qemu being used to emulate in a way to be able to freely cho…☆22Updated last year
- Official QEMU mirror☆30Updated 5 months ago
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 3 years ago
- An IDA file loader for Mobicore trustlet and driver binaries☆60Updated 6 years ago
- A div-less, mul-less, atomic-less `rv64i` compiler toolchain using purely clang, musl, and compiler-rt☆30Updated 5 years ago
- Kernel-based debugger for Linux applications☆75Updated 3 years ago
- Symbolic Execution over Falcon IL☆30Updated 4 years ago
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆22Updated 5 years ago
- Hexagon processor module for IDA Pro disassembler☆19Updated 3 years ago
- Tutorial to write qemu plugins☆34Updated 8 years ago
- Hardware-Assisted Process Tracer for Fuzzing on ARM64 Linux☆26Updated 3 years ago