nccgroup / rustproofing-linuxLinks
☆23Updated 2 years ago
Alternatives and similar repositories for rustproofing-linux
Users that are interested in rustproofing-linux are comparing it to the libraries listed below
Sorting:
- Uncovering Container Confusion in the Linux Kernel☆44Updated last year
- Demonstrate ability to read memfd_secret() data from the kernel☆58Updated last year
- Linux kernel branches for confidential compute research☆17Updated 2 months ago
- InSpectre Gadget: in-depth inspection and exploitability analysis of Spectre disclosure gadgets☆52Updated last month
- iTLB multihit PoC☆41Updated last year
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆46Updated last week
- RISC-V emulator for high-performance fuzzing with AOT instead of JIT compilation 🦑☆20Updated last month
- Deprecated! Use qemu-rs instead :)☆73Updated last year
- Deterministic record and replay and tracing of syzkaller bug reproducers☆17Updated last month
- A system call interception tool☆57Updated 5 months ago
- VirtFuzz is a Linux Kernel Fuzzer that uses VirtIO to provide inputs into the kernels subsystem. It is built with LibAFL.☆122Updated 11 months ago
- Artifact of "Indirector: High-Precision Branch Target Injection Attacks Exploiting the Indirect Branch Predictor" [USENIX Security 2024]☆62Updated 9 months ago
- ☆18Updated 3 years ago
- A hypervisor written in Rust.☆120Updated 3 years ago
- Framework for in-VM test execution and monitoring, inspired by Sandsifter☆11Updated 2 months ago
- ☆84Updated 2 months ago
- The public release of LeftoverLocals code☆66Updated last year
- Easy way to run a LLVM instrumented kernel in qemu with gdb☆22Updated last year
- Static analysis tool based on clang, which detects source-to-binary information leaks in C and C++ projects☆85Updated 2 years ago
- ☆88Updated 10 months ago
- Some Rust bindings for Binary Ninja☆30Updated last year
- Towards Sound Reassembly of Modern x86-64 Binaries (ASPLOS'25)☆14Updated 2 months ago
- VMF is a modular fuzzer that is easily reconfigurable to use many different capabilities and approaches. Also includes a web-based distri…☆29Updated 3 weeks ago
- ASPFuzz: Fuzzing the AMD SP's ROM bootloader with LibAFL using QEMU full-system emulation☆29Updated 2 years ago
- A binary analysis framework written in Rust.☆20Updated last year
- Tools for Linux kernel debugging on Bochs (including symbols, native Bochs debugger and IDA PRO)☆31Updated last year
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆20Updated 5 years ago
- kAFL Fuzzer☆33Updated 2 months ago
- Fuzz Rust code with LibAFL☆60Updated last year
- Practical fuzzing tutorials and training☆30Updated 10 months ago