==Tools==The Static Driver Verifier (SDV) is capable of performing very deep validation of code paths across functions and even through calls into WDM.
Static Driver Verifier (SDV) позволяет выполнять достаточно глубокую проверку исполнения кода через отслеживание функций и даже вызовов через WDM.