Zhang, S. WindowsDanger: An open-source project for learning and hacking Windows kernel [Computer software]