gamozolabs / riscv
A div-less, mul-less, atomic-less `rv64i` compiler toolchain using purely clang, musl, and compiler-rt
☆28Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for riscv
- A bare-metal x86 instruction set fuzzer a la Sandsifter☆63Updated 8 months ago
- Some Rust bindings for Binary Ninja☆30Updated last year
- Patchestry is a binary patching framework built with MLIR and Ghidra.☆17Updated this week
- Rewriting functions in compiled binaries using McSema☆87Updated 5 years ago
- Symbolic Execution over Falcon IL☆28Updated 3 years ago
- A super simple RV32i JIT, designed for ease of understanding and modification☆84Updated last year
- KLEE Symbolic Execution Engine☆61Updated 5 years ago
- Pretty printer from GTIRB to assembly code☆48Updated last month
- An experimental high performance, fuzzing oriented Intel Processor Trace capture and analysis suite☆128Updated 2 years ago
- Fast, parallel, cross-variant ROP/JOP gadget search for x86/x64 binaries.☆84Updated 11 months ago
- 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.☆32Updated last week
- print information from LLVM dataflow analyses☆13Updated 4 years ago
- program analysis for machine code☆33Updated 3 years ago
- Verified, Incremental, Binary Editing with Synthesis☆51Updated last year
- Snapshot of the vectorized MMU that lines up with the vectorized MMU blog☆22Updated 4 years ago
- Why fuzzing with emulators is amazing☆134Updated 4 years ago
- GDB macros for real mode debugging☆21Updated 8 years ago
- Scalable Validator for Binary Lifters☆54Updated 4 years ago
- ☆75Updated 4 years ago
- Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)☆74Updated 2 years ago
- Target-centric program analysis.☆72Updated this week
- A tool to enable fuzzing for Spectre vulnerabilities☆30Updated 4 years ago
- correlate an SPI capture of an AMD boot procedure to the PSP firmware components☆12Updated last year
- StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL☆47Updated 4 months ago
- Dr. Disassembler☆35Updated 2 years ago
- A neural network using fuzzing-style feedback rather than back-propagation☆17Updated 4 years ago
- EFI Byte Code Virtual Machine in userspace☆77Updated last year
- Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignore…☆13Updated 5 months ago
- oo7, a binary analysis tool to defend against Spectre vulnerabilities☆32Updated 4 years ago