Windows device driver fuzzer written in Python