
z3
High-performance SMT solver for automated theorem proving, constraint solving, and program verification. Supports multiple theories and language…

High-performance SMT solver for automated theorem proving, constraint solving, and program verification. Supports multiple theories and language…

Tool that allows comparing symbol, type and syscall information of Microsoft Windows binaries across different versions of the OS, using a Web UI…

Distributed, code-coverage guided snapshot-based fuzzer for user and kernel-mode targets on Windows and Linux, with emulator and hypervisor backends.

"In-depth reverse engineering analysis of Vidar Stealer 2.0 covering Task Scheduler tampering (1999 timestamps), Explorer.exe process hollowing, and…

Fuzzing the Microsoft Windows DNS client library. Inspired by CVE-2026-41096.

Identifies the bytes that Microsoft Defender / AMSI Consumer flags on.

Universal signature generation for any system function from all Windows Builds using Winbindex

Python based tool for generating Shellcode from PIC C

Microsoft HEIF Extension (msheif_store.dll) OOB-read

Red Team C code repo

Documentation of Microsoft's Warbird obfuscation

A PowerShell front-end for the Windows debugger engine.

Identifies the bytes that Microsoft Defender flags on.

An x64dbg plugin which marks XFG call signatures as data

User-friendly Microsoft Windows Debugger for Malware Analysts.

Microsoft-Office-Word-MSHTML-Remote-Code-Execution-Exploit

Proof of concept for CVE-2021-24086, a NULL dereference in tcpip.sys triggered remotely.

Two IDAPython Scripts help you to reconstruct Microsoft COM (Component Object Model) Code