Erros ao referenciar endereços User-Space

Qualquer driver, seja compatível com IRPs ou operações de E/S rápidas, deve validar qualquer endereço no espaço do usuário antes de tentar usá-lo. O gerenciador de E/S não valida esses endereços nem valida ponteiros inseridos em buffers passados para drivers.

Falha ao validar endereços passados em METHOD_NEITHER IOCTLs e FSCTLs

O gerente de E/S não faz nenhuma validação para METHOD_NEITHER IOCTLs e FSCTLs. Para garantir que os endereços de espaço do usuário sejam válidos, o driver deve usar as rotinas ProbeForRead e ProbeForWrite , incluindo todas as referências de buffer em blocos try/except .

No exemplo a seguir, o driver pressupõe que o valor passado no Type3InputBuffer representa um endereço válido.

   case IOCTL_GET_HANDLER:
   {
      PULONG EntryPoint;

      EntryPoint =
         IrpSp->Parameters.DeviceIoControl.Type3InputBuffer; 
      *EntryPoint = (ULONG)DriverEntryPoint; 
      ...
   }

O código a seguir evita esse problema:

   case IOCTL_GET_HANDLER:
   {
      PULONG_PTR EntryPoint;

      EntryPoint =
         IrpSp->Parameters.DeviceIoControl.Type3InputBuffer;
 
      try
      {
         if (Irp->RequestorMode != KernelMode)
         { 
            ProbeForWrite(EntryPoint,
                          sizeof(ULONG_PTR),
                          TYPE_ALIGNMENT(ULONG_PTR));
         }
         *EntryPoint = (ULONG_PTR)DriverEntryPoint;
      }
      except(EXCEPTION_EXECUTE_HANDLER)
      {
        ...
      }
      ...
   }

Observe também que o código correto converte DriverEntryPoint em um ULONG_PTR, em vez de um ULONG. Essa alteração permite o uso em um ambiente windows de 64 bits.

Falha ao validar ponteiros inseridos em solicitações de E/S em buffer

Geralmente, os drivers inserem ponteiros em solicitações em buffer, como no exemplo a seguir:

   struct ret_buf
   {
      void  *arg;  // Pointer embedded in request
      int  rval;
   };

   pBuf = Irp->AssociatedIrp.SystemBuffer;
   ...
   arg = pBuf->arg;  // Fetch the embedded pointer
   ...
   // If the arg pointer is not valid, the following
   // statement can corrupt the system:
   RtlMoveMemory(arg, &info, sizeof(info));

Neste exemplo, o driver deve validar o ponteiro inserido usando as rotinas De investigaçãoXxx incluídas em um bloco try/except da mesma forma que para o METHOD_NEITHER IOCTLs descritos anteriormente. Embora a inserção de um ponteiro permita que um driver retorne informações extras, um driver pode obter o mesmo resultado com mais eficiência usando um deslocamento relativo ou um buffer de comprimento variável.

Para obter mais informações sobre como usar blocos try/except para lidar com endereços inválidos, consulte Tratamento de exceções.