There is a lack of effective kernel vulnerability detection tools, especially for closed-source OSes such as Microsoft Windows[19] where the source code of the device drivers is mostly not public (open source)[20] and the drivers often also have many privileges.[21][22][23][24]