This repo contains Windows driver samples, some of them are adapted for use with S2E - View it on GitHub