-
Notifications
You must be signed in to change notification settings - Fork 92
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Update Windows target and others #53
Comments
Hi, welcome! For an overview on the tool, I think the original kAFL paper and more recent Nyx paper are probably the best intro. If you ignore the Hypervisor and structure-aware fuzzer part in the Nyx paper, it basically shows an extension of kAFL with fast snapshots (and other capabilities merged in the code base as well). Migrating to the new interface is not difficult. Here is my change for the Zephyr sample: IntelLabs/kafl.targets@6cece87
The config query/set hypercalls are now required. The various new options are not tested at all, I basically just set it up for PT tracing + validate the payload buffer size expected by fuzzer frontend. |
Someone did the hard work, would be great to cleanup and integrate: https://github.com/Kharos102/kafl.targets |
Hello @Kharos102, i'm trying to integrate the work you did on fixing the Windows targets for kAFL. I have a WIP branch here: I'm stuck at trying to find the right environment and I'm working with a Windows 10, Visual studio 2017 SDK and MSVC compiler is installed + WDK (10.0.17763.0) C:\\Program Files (x86)\\Microsoft Visual Studio\\2017\\BuildTools\\VC\\Auxiliary\\Build\\vcvars64.bat
# append env vars with WDK Include and Lib dirs
# include: C:\\Program Files (x86)\\Windows Kits\\10\\include\\10.0.17763.0\\km
# lib: C:\\Program Files (x86)\\Windows Kits\\10\\Lib\\10.0.17763.0\\km\\x64
cl Driver.c <cl_options> I know it's been a long time, but if you recall how you approached it, it would help. |
Hey! Pretty sure I just create a new project in Visual Studio based on the empty WDM project template, then replace the main .c code with the Driver.c code, don't usually compile it via cl directly. |
Hey @Kharos102 I managed to compile it with Thanks ! |
A PR has been that should fix this issue: |
Hi. I wish to contribute.
What needs to be done in order to migrate targets from kafl_user.h to nyx_api.h? I'm most interested in the Windows target.
I guess I would also need to read some additional info on the topic (kAFL, QEMU, snapshot fuzzing etc.). Any recommendations for that?
The text was updated successfully, but these errors were encountered: