gamozolabs / riscv
A div-less, mul-less, atomic-less `rv64i` compiler toolchain using purely clang, musl, and compiler-rt
☆29Updated 5 years ago
Alternatives and similar repositories for riscv:
Users that are interested in riscv are comparing it to the libraries listed below
- A bare-metal x86 instruction set fuzzer a la Sandsifter☆65Updated 11 months ago
- A super simple RV32i JIT, designed for ease of understanding and modification☆84Updated 2 years ago
- Dynamic binary translation framework for instrumenting the Linux kernel and its modules☆77Updated 7 years ago
- Why fuzzing with emulators is amazing☆135Updated 4 years ago
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆20Updated 5 years ago
- Snapshot of the vectorized MMU that lines up with the vectorized MMU blog☆22Updated 4 years ago
- QARMA block cipher in C☆26Updated 2 years ago
- KLEE Symbolic Execution Engine☆60Updated 5 years ago
- Some Rust bindings for Binary Ninja☆30Updated last year
- a friendly wrapper around ptrace☆132Updated 2 years ago
- A simple Aarch64 hypervisor for Raspberry Pi☆34Updated 4 years ago
- A simple library focusing on demangling symbols for different programing languages☆43Updated 4 years ago
- GDB macros for real mode debugging☆21Updated 8 years ago
- HardsHeap: A Universal and Extensible Framework for Evaluating Secure Allocators☆34Updated 3 years ago
- A tool to enable fuzzing for Spectre vulnerabilities☆30Updated 5 years ago
- Pretty printer from GTIRB to assembly code☆48Updated last month
- Demonstrate ability to read memfd_secret() data from the kernel☆58Updated last year
- Rewriting functions in compiled binaries using McSema☆88Updated 5 years ago
- An experimental high performance, fuzzing oriented Intel Processor Trace capture and analysis suite☆129Updated 3 years ago
- EFI Byte Code Virtual Machine in userspace☆77Updated 2 years ago
- Rag-bag of utilities and scripts that do strange things with ELF files☆17Updated last week
- QEMU with support for CHERI☆58Updated last week
- Sled System Emulator☆28Updated last month
- Symbolic Execution over Falcon IL☆29Updated 3 years ago
- Fast, parallel, cross-variant ROP/JOP gadget search for x86/x64 binaries.☆89Updated last year
- Dr. Disassembler☆35Updated 3 years ago
- Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)☆75Updated 2 years ago
- Trace a program using CPU tracer technology.☆27Updated 2 years ago
- Extracting high level semantic information from binary code☆64Updated 5 years ago
- A neural network using fuzzing-style feedback rather than back-propagation☆18Updated 4 years ago