Freax13 / test-kernelLinks
☆13Updated 3 years ago
Alternatives and similar repositories for test-kernel
Users that are interested in test-kernel are comparing it to the libraries listed below
Sorting:
- New register allocator designed as a successor to regalloc2☆48Updated last month
- Proc macro implementation of #[naked]☆31Updated 2 years ago
- drop-in replacement for libfuzzer☆71Updated 2 months ago
- A high-level API for interacting with SMT solvers.☆29Updated last month
- DWARF program analysis crate☆24Updated last year
- A self-generating WebAssembly parser & serializer in Rust.☆21Updated 5 months ago
- Simple RISC-V emulator presented at Rust Nation 2023☆66Updated 2 years ago
- A lightweight, recoverable sandbox for executing untrusted RISC-V code in constrained environments☆53Updated 2 weeks ago
- Library facilitating safe pinned initialization☆60Updated this week
- Rust bindings for libgccjit☆23Updated 2 months ago
- ☆91Updated last year
- Backtrace support for Rust `no_std` and embedded programs.☆48Updated 2 years ago
- Static Pointer Analyzer and Transpiler from C to Safe Rust☆24Updated 4 months ago
- Fast Function Dispatch: Improving the performance of Rust's dynamic function calls☆33Updated 11 months ago
- Rust macros that produce the name of the function they're invoked within.☆22Updated 3 years ago
- Experimenting with Rust's fundamental data model☆54Updated this week
- program analysis for machine code☆36Updated 3 years ago
- Easy SMT solver interaction☆34Updated 2 months ago
- Allows for proper and easy handling of volatile memory☆40Updated last year
- egui library for displaying control flow graphs using petgraph.☆21Updated 2 weeks ago
- RISC-V V Extension Encoder☆11Updated 3 years ago
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆26Updated last year
- Baremetal Backtracing on RISC-V☆15Updated 4 years ago
- 🎙 Architect TUI and text user output for multiple output destinations using events, in Rust.☆32Updated 2 months ago
- A newtype with alignment of at least `A` bytes☆32Updated 8 months ago
- Library to load and relocate ELF files.☆131Updated 2 years ago
- Code coverage support for Rust `no_std` and embedded programs☆60Updated 11 months ago
- Miralis is a RISC-V firmware that virtualizes RISC-V firmware☆37Updated this week
- A reasonable theorem prover for your reasoning tasks!☆26Updated 8 months ago
- Read trait fixed to soundly work with uninitalized memory☆27Updated last year