Stars
Manipulation, canonicalization and identification of mixed boolean-arithmetic symbolic expressions
🖱️ Generate human-like mouse movements with puppeteer or on any 2D plane
Program startup and thread support written in Rust
Rusty Hypervisor - Windows Kernel Blue Pill Type-2 Hypervisor in Rust (Codename: Matrix)
Rust Macro which loads files into the rust binary at compile time during release and loads the file from the fs during dev.
An ergonomic and safe syscall interception framework for Linux.
A snapshotting, coverage-guided fuzzer for software (UEFI, Kernel, firmware, BIOS) built on SIMICS
Detailed Instructions on the creation of custom/modified DMA (attack) Firmware based on pcileech-fpga
libdft for Intel Pin 3.x and 64 bit platform. (Dynamic taint tracking, taint analysis)
Shows an example of how to implement VT-d/AMD-Vi on Windows
MSVC's implementation of the C++ Standard Library.
Playing with the Tigress software protection. Break some of its protections and solve their reverse engineering challenges. Automatic deobfuscation using symbolic execution, taint analysis and LLVM.
IOMMU IP compliant with the RISC-V IOMMU Specification v1.0
Code deobfuscation framework to simplify Mixed Boolean-Arithmetic (MBA) expressions
Triton-based DSE library with loading and exploration capabilities (and more!)