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 last year
- Snapshot of the vectorized MMU that lines up with the vectorized MMU blog☆22Updated 4 years ago
- A super simple RV32i JIT, designed for ease of understanding and modification☆84Updated 2 years ago
- KLEE Symbolic Execution Engine☆60Updated 5 years ago
- program analysis for machine code☆35Updated 3 years ago
- Some Rust bindings for Binary Ninja☆30Updated last year
- DARPA Cyber Grand Challenge OS syscall library☆18Updated 8 years ago
- print information from LLVM dataflow analyses☆13Updated 5 years ago
- Dynamic binary translation framework for instrumenting the Linux kernel and its modules☆77Updated 7 years ago
- fundamental traits to describe an architecture in the yaxpeax project☆14Updated 3 weeks ago
- Sled System Emulator☆28Updated last month
- Pretty printer from GTIRB to assembly code☆48Updated this week
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆27Updated 3 years ago
- rev.ng configuration for orchestra. The starting point for any development.☆35Updated last week
- A neural network using fuzzing-style feedback rather than back-propagation☆18Updated 4 years ago
- x86 decoders for the yaxpeax project☆135Updated 8 months ago
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆20Updated 5 years ago
- Multicore x64 kernel with a focus on introspection and debugging capabilities.☆61Updated 8 months ago
- Fast, parallel, cross-variant ROP/JOP gadget search for x86/x64 binaries.☆89Updated last year
- Dr. Disassembler☆35Updated 3 years ago
- Symbolic Execution over Falcon IL☆29Updated 3 years ago
- Self-hosting binary instrumentation framework for security research☆212Updated last year
- Rewriting functions in compiled binaries using McSema☆88Updated 5 years ago
- HardsHeap: A Universal and Extensible Framework for Evaluating Secure Allocators☆34Updated 3 years ago
- ROP-Gadget finder in Rust☆16Updated 7 years ago
- Convert low ghidra pcode to verifiable C☆21Updated 6 months ago
- Linux kernel branches for confidential compute research☆17Updated last month
- EFI Byte Code Virtual Machine in userspace☆77Updated 2 years ago
- correlate an SPI capture of an AMD boot procedure to the PSP firmware components☆13Updated last year
- Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignore…☆15Updated last week