{"id":28955766,"url":"https://github.com/mikehorn-git/wkd","last_synced_at":"2025-06-23T20:09:56.388Z","repository":{"id":300291824,"uuid":"978632029","full_name":"MikeHorn-git/WKD","owner":"MikeHorn-git","description":"Windows Kernel development lab. With driver fuzzing sample","archived":false,"fork":false,"pushed_at":"2025-06-20T21:13:37.000Z","size":14,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":1,"default_branch":"main","last_synced_at":"2025-06-20T22:25:27.720Z","etag":null,"topics":["driver","fuzzing","lab","vagrant","windows"],"latest_commit_sha":null,"homepage":"","language":"PowerShell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/MikeHorn-git.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2025-05-06T09:30:25.000Z","updated_at":"2025-06-20T21:13:40.000Z","dependencies_parsed_at":"2025-06-20T22:25:35.827Z","dependency_job_id":"8eeaa8b3-da7e-4965-94bf-12acb2567782","html_url":"https://github.com/MikeHorn-git/WKD","commit_stats":null,"previous_names":["mikehorn-git/wkd"],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/MikeHorn-git/WKD","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/MikeHorn-git%2FWKD","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/MikeHorn-git%2FWKD/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/MikeHorn-git%2FWKD/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/MikeHorn-git%2FWKD/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/MikeHorn-git","download_url":"https://codeload.github.com/MikeHorn-git/WKD/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/MikeHorn-git%2FWKD/sbom","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":261548746,"owners_count":23175499,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["driver","fuzzing","lab","vagrant","windows"],"created_at":"2025-06-23T20:09:54.435Z","updated_at":"2025-06-23T20:09:56.368Z","avatar_url":"https://github.com/MikeHorn-git.png","language":"PowerShell","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Description\n\nA [Windows Kernel](https://learn.microsoft.com/en-us/windows-hardware/drivers/ddi/_kernel/) developer environments.\n\n## Plugins\n\n```bash\nVAGRANT_DISABLE_STRICT_DEPENDENCY_ENFORCEMENT=1 vagrant plugin install vagrant-reload\n```\n\n## Images\n\n- Windows 11 Enterprise\n\n## Providers\n\n- Virtualbox\n\n______________________________________________________________________\n\n## Build\n\n```bash\ngit clone https://github.com/MikeHorn-git/WKD\ncd WKD\n```\n\n## Vagrant Provisionning\n\n### Default\n\n```bash\nvagrant up\n```\n\n#### `setup.ps1`\n\n- Enables automatic logon\n- Downloads the Enterprise Windows Driver Kit (EWDK)\n\n#### `winget.ps1`\n\n- Install Winget\n- Removes the Microsoft Store source\n- Update Winget sources\n\n#### `tools.ps1`\n\n- **CMake**\n- **Git**\n- **Vim**\n- **Windows Terminal**\n- **Visual Studio 2022 Community Edition**\n\n### VAGRANT_FUZZER\n\n#### `mount.ps1`\n\n- Mounts the **EWDK ISO** as a virtual disk\n- Assigns it to the `W:` drive using `mountvol`\n\n#### `hevd.bat`\n\n- Launches the EWDK build environment\n- Download [HackSysExtremeVulnerableDriver](https://github.com/novafacing/HackSysExtremeVulnerableDriver)\n- Build [HackSysExtremeVulnerableDriver](https://github.com/novafacing/HackSysExtremeVulnerableDriver)\n- Imports the test certificate for driver signing\n- Enables **test signing** and disables **driver signature enforcement**\n- Registers the HEVD driver as a kernel service\n\n#### `start.bat`\n\n- Launches the Visual Studio Developer Command Prompt\n- Starts the HEVD driver service\n- Compiles `fuzzer.c` using LLVM sanitizers:\n  - `fuzzer`, `coverage=edge`, `trace-cmp`, `trace-div`\n\n```bash\nVAGRANT_FUZZER=true vagrant up\n```\n\n______________________________________________________________________\n\n## Fuzzer\n\nThis fuzzer sends arbitrary input to `HEVD` using a vulnerable IOCTL to trigger and detect kernel stack overflows.\n\n### Run\n\n```pwsh\ncd C:\\fuzzer\n./fuzzer.exe -len_control=0\n```\n\n## Credits\n\n- [Practical Fuzzing](https://novafacing.github.io/practical-fuzzing/libfuzzer/kernel/windows/index.html)\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fmikehorn-git%2Fwkd","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fmikehorn-git%2Fwkd","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fmikehorn-git%2Fwkd/lists"}