Pruebas de exploración de vulnerabilidades mediante datos aleatorios de retraso de marco de energía

La opción Retraso de Fuzzing de Power Framework aleatoriza los horarios de subprocesos para ayudar a detectar errores de concurrencia en los controladores que usan el marco de administración de energía (PoFx). Esta opción no se recomienda para los controladores que no utilicen directamente el marco de administración de energía (PoFx).

Nota Esta opción está disponible a partir de Windows 8.

Cuando se selecciona la opción, Driver Verifier inserta retrasos aleatorios en varios puntos de los subprocesos. La opción Delay Fuzzing de Power Framework utiliza un algoritmo que proporciona garantías probabilísticas para encontrar errores en los controladores. El fuzzing de retraso del Power Framework mejora las pruebas de esfuerzo tradicionales, donde el programa de prueba se ejecuta durante días o incluso semanas con la esperanza de detectar problemas que pueden ocurrir durante la ejecución concurrente.

La mayoría de las rutinas de controlador son reentrantes y simultáneas. Los errores de concurrencia son notoriamente difíciles de encontrar. Los errores pueden incluir interbloqueos y condiciones de competencia, causados por problemas de sincronización y desajustes temporales entre subprocesos. Las pruebas de esfuerzo son la técnica de prueba tradicional, pero pueden ser lentas y costosas, y los resultados no siempre son reproducibles. La opción de Fragmentación de Retraso del Power Framework aumenta la probabilidad de que las condiciones de carrera aparezcan en tiempo de ejecución insertando retrasos aleatorios en varias llamadas de función de la API de POWER. Por ejemplo, si una condición de carrera provoca que un controlador acceda a IRP después de que se haya cancelado, la opción Fuzzing de Retraso del Marco de Energía aumenta las posibilidades de esta condición de carrera lo suficiente como para que el Verificador de Controladores detecte el error durante las pruebas. La opción de "Delay Fuzzing" de Power Framework amplía la potencia y la utilidad del Verificador de Controladores.

Activación de esta opción

Puede activar la característica Desenlazamiento de retraso de Power Framework para uno o varios controladores mediante el Administrador de comprobadores de controladores o la línea de comandos de Verifier.exe. Para obtener más información, consulte Seleccionar opciones del comprobador de controladores. Debe reiniciar el equipo para activar o desactivar la opción Power Framework Delay Fuzzing.

Nota La opción de inserción de retrasos aleatorios del Power Framework aumenta la probabilidad de que las condiciones de competencia aparezcan en tiempo de ejecución insertando retrasos aleatorios en varias llamadas de función de la API de Power. Para que estos retrasos sean más eficaces, puede habilitar esta opción con otras opciones del Verificador de Controladores. Debido a los retrasos que se pueden introducir, puede esperar que el equipo tenga una respuesta más lenta.

• En la línea de comandos

  En la línea de comandos, Power Framework Delay Fuzzing se representa mediante verificador /flags 0x00008000 (Bit 15). Para activar Power Framework Delay Fuzzing, use un valor del indicador de 0x00008000 o agregue 0x00008000 al valor del indicador. Por ejemplo:

  verifier /flags 0x00008000 /driver MyDriver.sys
  

  La característica estará activa después del siguiente arranque.

• Uso del Administrador del Verificador de Controladores

  1. Inicie el Administrador del comprobador de controladores. Escriba Comprobador en una ventana del símbolo del sistema.
  2. Seleccione Crear configuración personalizada (para desarrolladores de código) y, a continuación, haga clic en Siguiente.
  3. Seleccione Seleccionar configuración individual en una lista completa.
  4. Seleccione (comprobar) Bloqueo de retraso de Power Framework.
  5. Reinicia el ordenador.