Visual studio harness compilation

[mechpwr]

Is there a way to make the nyx_api.h header file compatible with MS Visual Studio to be able to build with msvc?

[Wenzel]

Hi @mechpwr,

The main issue here is that MSVC compiler doesn't support inline assembly syntax like GCC does.

for KAFL harness to support MSVC, we would need to write a custom harness with only "extern C" function declarations, combined with a harness assembly file that contains the actual implementation.

See the TSFFS harnesses with a working implementation for MSVC;
https://github.com/intel/tsffs/tree/main/harness

[Wenzel]

Would be happy to review any PR that goes in that direction btw ! 👏

[mechpwr]

Thanks for the reply, ill look at that implementation.
On another issue, seems like kafl does not work with Intel Arrow Lake cpus

[Libera-KR]

I think that’s right. I’m also trying it on an Arrow Lake CPU, but it doesn’t install.