gamozolabs / riscvLinks
A div-less, mul-less, atomic-less `rv64i` compiler toolchain using purely clang, musl, and compiler-rt
☆30Updated 5 years ago
Alternatives and similar repositories for riscv
Users that are interested in riscv are comparing it to the libraries listed below
Sorting:
- A bare-metal x86 instruction set fuzzer a la Sandsifter☆69Updated last year
- A super simple RV32i JIT, designed for ease of understanding and modification☆86Updated 2 years ago
- Why fuzzing with emulators is amazing☆141Updated 5 years ago
- Self-hosting binary instrumentation framework for security research☆217Updated 2 years ago
- Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignore…☆17Updated last month
- x86 decoders for the yaxpeax project☆138Updated 3 weeks ago
- link a linux ELF .so library into memory with python and call functions in it, even if you're not on linux☆10Updated 5 years ago
- program analysis for machine code☆36Updated 3 years ago
- Some Rust bindings for Binary Ninja☆31Updated 2 years ago
- A simple library focusing on demangling symbols for different programing languages☆47Updated 4 years ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆29Updated 4 years ago
- ROP-Gadget finder in Rust☆16Updated 7 years ago
- A (SLEIGH) disassembler that supports multiple architectures☆85Updated 3 years ago
- Convert low ghidra pcode to verifiable C☆22Updated last year
- rev.ng configuration for orchestra. The starting point for any development.☆36Updated 2 weeks ago
- Speculative disassembly, CFG recovery, and call-graph recovery from stripped binaries.☆109Updated 7 years ago
- fundamental traits to describe an architecture in the yaxpeax project☆16Updated 7 months 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
- An experimental high performance, fuzzing oriented Intel Processor Trace capture and analysis suite☆131Updated 3 years ago
- EFI Byte Code Virtual Machine in userspace☆81Updated 2 years ago
- Pure Python Itanium C++ ABI demangler☆37Updated 3 years ago
- Kernel-based debugger for Linux applications☆74Updated 3 years ago
- Rewriting functions in compiled binaries using McSema☆90Updated 6 years ago
- Snapshot of the vectorized MMU that lines up with the vectorized MMU blog☆22Updated 5 years ago
- KLEE Symbolic Execution Engine☆60Updated 5 years ago
- Dr. Disassembler☆36Updated 3 years ago
- print information from LLVM dataflow analyses☆13Updated 5 years ago
- a friendly wrapper around ptrace☆133Updated 3 years ago
- Symbolic Execution over Falcon IL☆29Updated 4 years ago
- Target-centric program analysis.☆77Updated last week