gamozolabs / riscv
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
- Some Rust bindings for Binary Ninja☆30Updated last year
- Snapshot of the vectorized MMU that lines up with the vectorized MMU blog☆22Updated 5 years ago
- Dynamic binary translation framework for instrumenting the Linux kernel and its modules☆77Updated 7 years ago
- Rag-bag of utilities and scripts that do strange things with ELF files☆17Updated 2 months ago
- Symbolic Execution over Falcon IL☆29Updated 3 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
- Pretty printer from GTIRB to assembly code☆48Updated last month
- A simple library focusing on demangling symbols for different programing languages☆47Updated 4 years ago
- A bare-metal x86 instruction set fuzzer a la Sandsifter☆68Updated last year
- Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)☆75Updated 2 years ago
- A neural network using fuzzing-style feedback rather than back-propagation☆18Updated 4 years ago
- 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
- Basic BIOS emulator for Unicorn Engine.☆99Updated 3 years ago
- A deterministic, fuzzable pthread implementation☆37Updated 2 years ago
- generate assemblers from disassemblers, 2018 jailbreak security summit talk☆37Updated 4 years ago
- Self-hosting binary instrumentation framework for security research☆212Updated last year
- Why fuzzing with emulators is amazing☆137Updated 4 years ago
- a friendly wrapper around ptrace☆131Updated 3 years ago
- program analysis for machine code☆35Updated 3 years ago
- A tool to enable fuzzing for Spectre vulnerabilities☆30Updated 5 years ago
- print information from LLVM dataflow analyses☆13Updated 5 years ago
- DARPA Cyber Grand Challenge OS syscall library☆18Updated 8 years ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆27Updated 3 years ago
- ☆74Updated 4 years ago
- fundamental traits to describe an architecture in the yaxpeax project☆14Updated 2 months ago
- RISC-V emulator for high-performance fuzzing with AOT instead of JIT compilation 🦑☆20Updated last week
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆20Updated 5 years ago
- Rewriting functions in compiled binaries using McSema☆88Updated 5 years ago
- HardsHeap: A Universal and Extensible Framework for Evaluating Secure Allocators☆35Updated 3 years ago