Cannot open include file: 's2e.h'

[forderud]

Sorry for asking a newbie question, but I just stumbled across this project and want to learn how UDE drivers work.

I'm experiencing the following error (among others) when attempting to build the UDEFX2 project with Visual Studio 2022 and WDF 10.0.22621.311:

>UDEFX2\Fuzzer.c(7,10): error C1083: Cannot open include file: 's2e.h': No such file or directory

The header seem to be needed for the S2EInvokePlugin("TranslationBlockCoverage", &cmd, sizeof(S2E_GET_COVERAGE)) call on line 97.

Where can I locate the s2e.h header in question?