Alternatives and similar repositories for rvbt:

Users that are interested in rvbt are comparing it to the libraries listed below

• elliottt / easy-smt
  Easy SMT solver interaction
  ☆30Updated this week
• cbiffle / debugdb
  DWARF program analysis crate
  ☆16Updated 9 months ago
• Freax13 / test-kernel
  ☆13Updated 2 years ago
• Amanieu / a-tale-of-binary-translation
  Simple RISC-V emulator presented at Rust Nation 2023
  ☆61Updated last year
• DrChat / buddyalloc
  Buddy allocator, forked from the toyos repository.
  ☆14Updated 3 years ago
• fitzgen / synth-loop-free-prog
  Synthesis of Loop-free Programs in Rust
  ☆64Updated 4 years ago
• lorin / futex-tla
  Modeling futexes in TLA+
  ☆22Updated 3 months ago
• rcore-os / trapframe-rs
  Handle TrapFrame across kernel and user space on multiple ISAs.
  ☆31Updated 6 months ago
• rust-console / voladdress
  Allows for proper and easy handling of volatile memory
  ☆36Updated 8 months ago
• rems-project / isla
  Symbolic execution tool for Sail ISA specifications
  ☆64Updated 2 weeks ago
• RReverser / wasmbin
  A self-generating WebAssembly parser & serializer in Rust.
  ☆15Updated 11 months ago
• Amanieu / mini-backtrace
  Backtrace support for Rust `no_std` and embedded programs.
  ☆48Updated last year
• seL4 / rust-sel4
  Rust support for seL4 userspace
  ☆125Updated 2 months ago
• Amanieu / regalloc3
  New register allocator designed as a successor to regalloc2
  ☆30Updated last week
• Amanieu / minicov
  Code coverage support for Rust `no_std` and embedded programs
  ☆54Updated 2 months ago
• phip1611 / noto-sans-mono-bitmap-rs
  Provides pre-rasterized characters from the "Noto Sans Mono" font in different sizes and font weights for multiple unicode ranges.
  ☆30Updated 3 weeks ago
• hermit-os / loader
  The Hermit bootloader.
  ☆73Updated this week
• tchajed / rdb
  Debugger written in Rust
  ☆19Updated 2 years ago
• rcore-os / RVM1.5
  A Type-1.5 hypervisor written in Rust.
  ☆56Updated 8 months ago
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆80Updated last year
• iximeow / yaxpeax-arm
  arm decoders for the yaxpeax project
  ☆25Updated 7 months ago
• iximeow / regmap
  memory-mapped registers for x86_64 systems
  ☆33Updated 3 years ago
• cbiffle / lilosdbg
  Prototype debugger for lilos
  ☆21Updated 9 months ago
• rust-osdev / uart_16550
  Minimal support for uart_16550 serial output.
  ☆35Updated 2 months ago
• kevin-lesenechal / elf-info
  Inspect and dissect an ELF file with pretty formatting.
  ☆99Updated 11 months ago
• Amanieu / naked-function
  Proc macro implementation of #[naked]
  ☆30Updated last year
• langston-barrett / treereduce
  A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
  ☆73Updated 3 weeks ago
• sgmarz / riscv_msi
  Message Signaled Interrupts for RISC-V
  ☆24Updated 4 months ago
• fintelia / riscv-decode
  Simple library for decoding RISC-V instructions
  ☆21Updated 5 months ago
• novafacing / cannonball
  Deprecated! Use qemu-rs instead :)
  ☆72Updated last year