A collection of extensions to angr to handle new platforms

Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model

Build your emulation environment as needed

PyInstaller Extractor Next Generation

Complete rewrite of the original ioctlance project

C++ is the based interpreted language

Wirteup of re-enabling FSOP by disabling vtable bounds checking in GLIBC 2.35

A curated list of SGX code and resources.

THE Copilot in Obsidian

Multi-architecture emulation for the modern era.

FSOP Again

Decompiler written in Rust

Python Frontend to LLVM IR for eBPF programs in Pure Python

Hyperlight is a lightweight Virtual Machine Manager (VMM) designed to be embedded within applications. It enables safe execution of untrusted code within micro virtual machines with very low latenc…

Samsung Galaxy S3 GT-I9300 eMMC toolbox

Revision 2.0 of USB Host Library for Arduino.

USB test instrument

A deep dive into the ACPI.sys DPC latency problems on Asus ROG laptops

Minimal implementation of a time-sharing kernel on RISC-V, implemented in Zig, on top of OpenSBI

Professionally crafted React & Figma components for building beautiful products or starting your own design system

JPAMB: Java Program Analysis Micro Benchmarks

DiffRays is a research-oriented tool for binary patch diffing, designed to aid in vulnerability research, exploit development, and reverse engineering.

BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more

A tool that is used to hunt vulnerabilities in x64 WDM drivers

🧠 Cognitive load is what matters

binary ninja custom architecture plugin for corCTF 2021 vmquack challenge

The first AVR32 impelmentation for QEMU

The perfect modding language.

An nsjail Docker image for CTF pwnables. Easily create secure, isolated xinetd/inetd-style services.