jwnhy / rvbt
Baremetal Backtracing on RISC-V
☆15Updated 3 years ago
Alternatives and similar repositories for rvbt:
Users that are interested in rvbt are comparing it to the libraries listed below
- Easy SMT solver interaction☆34Updated this week
- ☆13Updated 2 years ago
- Simple RISC-V emulator presented at Rust Nation 2023☆62Updated last year
- DWARF program analysis crate☆16Updated 9 months ago
- Proc macro implementation of #[naked]☆30Updated last year
- New register allocator designed as a successor to regalloc2☆31Updated last week
- Prototype debugger for lilos☆21Updated last week
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆23Updated 9 months ago
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆80Updated last year
- ☆70Updated 11 months ago
- A high-level API for interacting with SMT solvers.☆24Updated this week
- Backtrace support for Rust `no_std` and embedded programs.☆48Updated last year
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆75Updated last week
- Code coverage support for Rust `no_std` and embedded programs☆54Updated 3 months ago
- Extremely minimal parser for ELF/PE/Mach-o/ar☆39Updated 3 years ago
- Inspect and dissect an ELF file with pretty formatting.☆100Updated 11 months ago
- automatially find crashes in the rust compiler & tooling☆70Updated 10 months ago
- memory-mapped registers for x86_64 systems☆33Updated 3 years ago
- Allows for proper and easy handling of volatile memory☆38Updated 9 months ago
- ☆44Updated 7 months ago
- Operating system based off of blog_os, with the goal of running wasm modules as executables☆23Updated last year
- Deprecated! Use qemu-rs instead :)☆73Updated last year
- Hypervisor written in Rust for the RISC-V 1.0 hypervisor extension☆15Updated 3 months ago
- An example of a common Wi-Fi set up scenario on ESP32 using Rust☆16Updated 10 months ago
- Debugging WebAssembly? Put some Whamm! on it.☆18Updated this week
- Lock ordering enforcement at compile time in Rust☆16Updated 10 months ago
- Lock-free buddy allocator based on binary heap☆11Updated 2 years ago
- Flamegraphing tool for perf events☆38Updated 3 years ago
- Miralis is an experimental system that virtualises firmware☆14Updated this week