IoctlFuzz, facilitates setting kernel-level-fuzzing-environment and fuzzing IOCTL in drivers. IoctlFuzz works exactly like this.  

• Windows SDK
• Python 3
• VMware and target OS
• VirtualKD
• WinDbg extension: !exploitable, pykd

• Python 3
• VirtualKD
• z3

1. pip install pykd pypiwin32 winshell
2. cd on_host/src
3. python setup.py as admin.
4. python start_fuzzing.py as admin.

1. pip install pypiwin32 winshell
2. cd on_target/src
3. python setup.py

• coverage-guided fuzzing
• SQLite-based corpus management
• pipe between host and target
• automated ioctl dict parsing
• distributed system
• web interface