gamozolabs / orange_slice
A research kernel and hypervisor attempting to get fully deterministic emulation with minimum performance cost
☆516Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for orange_slice
- ☆594Updated last week
- Pure Rust x86_64 bootloader and kernel☆488Updated last year
- Manticore is a research operating system, written in Rust.☆289Updated 11 months ago
- High-performance QEMU memory and instruction tracing☆527Updated 3 months ago
- Like fork() but teleports the forked process to a different computer!☆590Updated 3 years ago
- A binary-compatible unikernel☆391Updated 3 months ago
- ☆171Updated 2 years ago
- ☆633Updated 5 years ago
- An x86 bootloader written in Rust.☆519Updated 3 years ago
- A differential fuzzer for x86 decoders☆234Updated last month
- Binary Analysis Framework in Rust☆551Updated 9 months ago
- Why fuzzing with emulators is amazing☆134Updated 4 years ago
- Exploration of x86-64 ISA using speculative execution.☆305Updated 3 years ago
- a (WIP) Rust frontend for gcc / a gcc backend for rustc☆203Updated 3 years ago
- A specialized hypervisor for Hermit.☆256Updated this week
- A fuzzer framework built in Rust☆469Updated 2 years ago
- A general purpose memory allocator that implements an isolation security strategy to mitigate memory safety issues while maintaining good…☆363Updated 4 months ago
- ELF visualizer. Generates HTML files from ELF binaries.☆928Updated last year
- The x86 processor fuzzer☆484Updated 6 years ago
- A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V☆192Updated 2 years ago
- Mirror of https://gitlab.redox-os.org/redox-os/relibc☆861Updated this week
- Kernel Test Framework☆140Updated 3 weeks ago
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆315Updated 2 years ago
- GPU rootkit PoC by Team Jellyfish☆114Updated 9 years ago
- Framework for writing Linux kernel modules in safe Rust☆1,334Updated 3 years ago
- Snuffy is a simple command line tool to inspect SSL/TLS data.☆290Updated 4 years ago
- Symbolic execution of LLVM IR with an engine written in Rust☆538Updated last year
- Work in progress firewall for Linux syscalls, written in Rust☆125Updated 10 months ago
- Understand and mitigate software-observable side-channels☆498Updated 3 years ago
- A static binary rewriter that does not use heuristics☆298Updated 6 years ago