Vulnerability detection in device drivers - Mendonça, Manuel José Ferreira Carneiro (2017)