gamozolabs / orange_sliceLinks
A research kernel and hypervisor attempting to get fully deterministic emulation with minimum performance cost
☆526Updated 4 years ago
Alternatives and similar repositories for orange_slice
Users that are interested in orange_slice are comparing it to the libraries listed below
Sorting:
- Pure Rust x86_64 bootloader and kernel☆500Updated last year
- ☆634Updated 2 weeks ago
- ☆172Updated 2 years ago
- High-performance QEMU memory and instruction tracing☆541Updated 10 months ago
- A binary-compatible unikernel☆394Updated 9 months ago
- Binary Analysis Framework in Rust☆565Updated last year
- An x86 bootloader written in Rust.☆527Updated 3 years ago
- Why fuzzing with emulators is amazing☆138Updated 4 years ago
- Manticore is a research operating system, written in Rust.☆295Updated last year
- Work in progress firewall for Linux syscalls, written in Rust☆126Updated last year
- A differential fuzzer for x86 decoders☆250Updated 7 months ago
- A general purpose memory allocator that implements an isolation security strategy to mitigate memory safety issues while maintaining good…☆374Updated 10 months ago
- Symbolic execution of LLVM IR with an engine written in Rust☆554Updated last year
- Sandboxed, Rust-based, Windows Defender Client☆178Updated 7 years ago
- Exploration of x86-64 ISA using speculative execution.☆311Updated 4 years ago
- Like fork() but teleports the forked process to a different computer!☆602Updated 3 years ago
- A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V☆196Updated 4 months ago
- AppJailLauncher in Rust☆109Updated 3 years ago
- unfork(2) is the inverse of fork(2). sort of.☆1,475Updated last year
- Linux i386 tool to load and execute ME modules.☆133Updated 4 years ago
- Microcode Updates for the USENIX 2017 paper: Reverse Engineering x86 Processor Microcode☆342Updated 6 years ago
- A hypervisor for fuzzing built with WHVP and Bochs☆377Updated 6 years ago
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆318Updated 3 years ago
- ☆631Updated 5 years ago
- Understand and mitigate software-observable side-channels☆501Updated 4 years ago
- symbolic execution engine for Rust☆353Updated 6 years ago
- ☆363Updated last year
- A static binary rewriter that does not use heuristics☆304Updated 7 years ago
- A hypervisor written in rust☆55Updated 2 years ago
- The x86 processor fuzzer☆506Updated 6 years ago