Mathieu Tarral
Mathieu Tarral
Hi @jborean93 and thanks for your reply ! > It's invalid to have 2 quoted objects in an expression without anything else in pwsh So remember that i'm using `executable:...
Hi @bjloed, thanks for opening an issue. I have no idea why the `Sleep()` function would cause the Windows kernel to crash inside a harness. But since you have a...
One more thing: The Windows driver example locates the `KeBugCheck()` functions and inserts kAFL PANIC events instead. https://intellabs.github.io/kAFL/tutorials/windows/driver/target.html#panic-handlers However, Windows will create a crash dump inside the `KeBugCheck()` handler (according...
Hi @5angjun If I understand correctly, there is a mismatch between the range used `kafl cov` and the real range of your `target.sys` driver ? `kafl cov` will start will...
Thanks, I see. while the solutoon you proposed works, it breaks a bit the expected usability of the multi-line form. If we take the example from the documentation: ```yaml -...
Hello @Kharos102, i'm trying to integrate the work you did on fixing the Windows targets for kAFL. I have a WIP branch here: https://github.com/Wenzel/kafl.targets/tree/fix_windows I'm stuck at trying to find...
Hey @Kharos102 I managed to compile it with `cl.exe`, but I will update that later on with a real VS project and use `msbuild`, that's more convenient Thanks !
A PR has been that should fix this issue: https://github.com/IntelLabs/kafl.targets/pull/21
Closed with https://github.com/IntelLabs/kAFL/releases/tag/v0.7
Hi, i've noticed your issue, but didn't had time to reply yet. Will try to reply tonight.