aeondave/winafl
offensive-tools/fuzzing/winafl/SKILL.md
Coverage-guided fuzzing framework for Windows binaries. Use when fuzzing desktop apps, DLL harnesses, or Windows services with DynamoRIO/TinyInst/Intel PT instrumentation and persistent-loop target functions.
$ install --global
skillsauthnpx skillsauth add aeondave/malskill winaflInstall this skill globally with one command. Works with Claude Code, Cursor, and Windsurf.
Security Scan Results
3 of 9 scanners reported clean
Some scanners were skipped, did not run, or reported a non-clean status. Review each row below.
3
Scanners Passed
9
Scanners in report
Clean
TrivyContainer and dependency vulnerability scanner
95%
Clean
SemgrepStatic code analysis for vulnerabilities
95%
Clean
mcp-scan (Snyk)Model Context Protocol security validation
95%
Skipped
Snyk (dep)Open source security scanning
50%
Skipped
Socket.devSupply chain security analysis
50%
Skipped
VirusTotalMulti-engine malware detection
50%
Skipped
CrowdStrikeAdvanced threat intelligence
50%
Skipped
OSV-ScannerOpen Source Vulnerability database check
50%
Skipped
OWASP Dep-Check
50%
Last scanned: May 19, 2026, 4:47 AM212.0s1 file scanned
SKILL.md
- name:
- winafl
- description:
- Coverage-guided fuzzing framework for Windows binaries. Use when fuzzing desktop apps, DLL harnesses, or Windows services with DynamoRIO/TinyInst/Intel PT instrumentation and persistent-loop target functions.
- license:
- Apache-2.0
- compatibility:
- Windows (primary), Visual Studio toolchain; supports DynamoRIO/TinyInst/Intel PT modes.
- author:
- GitHub Copilot
- version:
- 1.1
winafl
Windows-focused AFL fork designed for black-box and harnessed binary fuzzing.
Quick Start
# Typical shape (high-level)
afl-fuzz -i in -o out -- [instrumentation options] -- target_cmdline
# Example build (x64)
cmake -G"Visual Studio 16 2019" -A x64 .. -DDynamoRIO_DIR=C:\path\to\DynamoRIO\cmake -DINTELPT=1
cmake --build . --config Release
Operator Flow
- Choose instrumentation backend (DynamoRIO first, TinyInst/PT as needed).
- Select a target function that opens/parses/closes input and returns normally.
- Validate debug run before long fuzz sessions.
- Launch campaign with stable timeout/memory bounds.
- Periodically minimize corpus and verify reproductions.
Core Concepts
- Select a target function that:
- opens/parses/closes input each iteration,
- returns normally (no hard process exit),
- is reachable without manual UI interaction.
- Persistent loop behavior is central for throughput.
- Instrumentation choices: DynamoRIO, TinyInst, Intel PT, Syzygy.
Practical Tricks
- Prefer shared-memory sample delivery (
-s) when file locking causes rewrite failures. - For services you cannot launch directly, use attach mode (
-A <module>) with external process supervision. - Use
winafl-cmin.pyto control corpus growth and speed up cycles. - Keep target architecture aligned (32-bit vs 64-bit) across target, DLL, and instrumentation stack.
Useful Options
| Flag | Purpose |
|------|---------|
| -D <dir> | DynamoRIO binaries path |
| -w <dll> | winafl.dll path |
| -P | Intel PT mode |
| -s | Shared-memory sample delivery |
| -A <module> | Attach mode for running processes/services |
| -l <dll> | Custom testcase processing/mutator DLL |
Common Pitfalls
- Target function not closing input each iteration -> rewrite failures and false timeouts.
- Function exits process instead of returning -> broken persistent loop.
- Skipping debug mode before fuzzing -> difficult timeout diagnosis.
- Network-mode custom DLL workflows without restart hygiene -> unstable long runs.
Resources
- https://github.com/googleprojectzero/winafl
- https://github.com/googleprojectzero/winafl/blob/master/README.md
- https://github.com/googleprojectzero/TinyInst
- https://dynamorio.org/
Related Skills
aeondave/offensive-linux-role
data-ai
VerifiedTrustedCommunity
Scoped routing: Linux operator; hosts, sessions, users, services, packages, logs, containers, SSH, network paths, privilege evidence.
4SKILL.mdUpdated Jun 5, 2026
aeondave/ics-technique
development
VerifiedTrustedCommunity
Offensive methodology for ICS/OT/SCADA environments in authorized industrial penetration testing and red team operations. Use when assessing PLCs, RTUs, HMIs, engineering workstations, historians, or field devices running Modbus, DNP3, EtherNet/IP, S7comm/S7+, Profinet, IEC 60870-5-104, BACnet, or OPC-UA. Covers passive OT network enumeration, protocol-level device interrogation, PLC coil/register read-write attacks, HMI session exploitation, historian and engineering workstation compromise, and safe escalation rules for critical infrastructure scope. Does not cover: general IT network exploitation (network-technique), physical hardware interfaces UART/JTAG/SPI (hardware-technique), wireless sensor network attacks (wireless-technique), RF/SDR signal analysis (hardware-ctf or wireless-technique), or CTF-framed ICS lab tasks (ics-ctf).
4SKILL.mdUpdated Jun 2, 2026
aeondave/game-technique
tools
VerifiedTrustedCommunity
Offensive methodology for authorized game security assessments, game client security research, and game-adjacent penetration testing in real-world engagements. Use when assessing game clients for cheating vulnerabilities, testing anti-cheat effectiveness, auditing game server protocols for score manipulation or economic fraud, reverse engineering game DRM or license validation, analyzing game save file protection, or assessing game mod/plugin security. Covers: process memory scanning and manipulation (Cheat Engine methodology), game binary reversing for license and DRM bypass, game network protocol analysis and packet replay, anti-cheat mechanism analysis, save file format reversing and tampering, speed hack and value injection techniques. Does NOT cover: CTF game challenges (game-ctf), game engine source code auditing (web-exploit-technique or vuln-search-technique for the backend), or general binary exploitation (pwn-ctf or reversing-technique).
4SKILL.mdUpdated Jun 2, 2026
aeondave/hardware-technique
development
VerifiedTrustedCommunity
Auth assessment: hardware/embedded methodology; UART/JTAG/SWD/SPI/I2C, firmware extraction, boot/debug paths, embedded OS evidence.
4SKILL.mdUpdated Jun 2, 2026