Static binary instrumentation for windows kernel drivers, to use with winafl - View it on GitHub