Application Verifier - Recursos

Funcionalidades de Acessibilidade

A Microsoft está empenhada em fazer com que os seus produtos e serviços sejam de utilização mais fácil para todos. Os recursos do Application Verifier que o tornam mais acessível, como atalhos de teclado, leitor de texto e capacidade de alterar as fontes e temas.

Utilizar atalhos de teclado

Usando atalhos de teclado no Application Verifier, você pode realizar rapidamente as seguintes tarefas comuns.

Para fazer isso	Use este atalho de teclado
Adicionar um aplicativo para testar	Ctrl + A
Remover uma aplicação	Ctrl + D
Ativar todos os testes	Ctrl + E
Desativar todos os testes	Ctrl + I
Restaurar os padrões de teste	Ctrl + R
Guardar alterações	Ctrl + S
Sair do Verificador de Aplicações	Atl + E
Abrir janela de propriedades	Ctrl + P
Abrir o ecrã de registo	Ctrl + L

Registos

Um log é gerado quando ocorre uma parada do verificador durante a verificação de um aplicativo.

Aceder aos registos

O Application Verifier exibe uma janela Logs que contém os aplicativos que foram executados anteriormente e os logs associados a eles. Para acessar a janela de log, no menu Exibir, selecione Logs. Para exibir os detalhes de um log, selecione o nome do aplicativo.

Captura de tela do Application Verifier exibindo um único log para um aplicativo de teste.

Salvando/exportando logs para XML

Se você exportar um log para XML, poderá abrir o arquivo de log em ferramentas externas, como o Microsoft Excel. Para exportar um log para XML, selecione o aplicativo e, em seguida, o log que deseja exportar. Clique em Guardar Como e introduza o nome que pretende atribuir ao ficheiro e a sua localização e, em seguida, clique em Guardar.

Filtrando registos

Talvez você queira filtrar informações de log em itens como gravidade, para ver apenas avisos ou rastrear onde você pode definir um filtro personalizado para exibir apenas itens que contêm seu aplicativo. Para filtrar um log, uma abordagem é usar uma planilha, como a Excel.

Salve o log em XML e abra-o no Excel.
No Excel, realce a primeira linha (que contém os cabeçalhos das colunas).
No menu Dados, clique em Filtrar e, em seguida, clique em Filtro Automático.

Eliminar registos

O Application Verifier permite excluir um log individualmente ou remover um aplicativo e excluir todos os logs associados a ele.

Para excluir um log individualmente, selecione-o e clique em Excluir ou clique com o botão direito do mouse no log e selecione Excluir.

Para remover um aplicativo e excluir todos os logs associados a ele, clique com o botão direito do mouse no nome do aplicativo e selecione Excluir.

Para excluir todos os logs:

Abra a janela principal do Application Verifier.
No menu Arquivo, selecione Limpar todos os logs.

Adicionando selos

Quando um processo está em execução, você pode adicionar um carimbo em seu arquivo de log associado. As informações de carimbo podem ser uma cadeia de caracteres arbitrária, como a hora atual. Mais tarde, você pode usar essas informações como um filtro para recuperar o log de interesse.

Para adicionar um carimbo a um arquivo de log:

Selecione o arquivo de log e clique em Adicionar carimbo.
Insira uma cadeia de caracteres como as informações do carimbo.

Opções de saída

Por padrão, os logs de serviços/aplicativos executados em contas de usuário são armazenados em: %USERPROFILE%\serviceprofiles\AppVerifierLogs.

Para serviços/aplicativos executados em contas de serviço locais, os arquivos de log são gravados em: %windir%\serviceprofiles\LocalService\AppVerifierLogs

Para serviços/aplicativos executados em uma conta do sistema, os arquivos de log são armazenados em: %windir%\system32\config\systemprofile\AppVerifierLogs para serviços nativos e %windir%\syswow64\config\systemprofile\AppVerifierLogs para serviços/aplicativos wow64.

Para serviços/aplicativos executados em uma conta de serviço de rede, os arquivos de log são armazenados em: %windir%\serviceprofiles\NetworkService\AppVerifierLogs.

Se o aplicativo não tiver permissões para gravar/criar o arquivo de log no caminho do arquivo de log padrão, ele falhará com o erro 0xC0000022.

A definição da variável ambiental VERIFIER_LOG_PATH substitui a criação do arquivo de log padrão. Isso pode ser útil se você quiser que todos os seus arquivos de log sejam armazenados em um único local.

Os processos protegidos não têm acesso a variáveis ambientais e, portanto, não podem criar arquivos de log. Para contornar isso, o caminho de log de processo protegido pode ser definido usando a linha de comando AppVerif.EXE: appverif.exe –sppath <drive:>\<path> para definir o caminho de log protegido.

A linha de comando; appverif.exe –cppath Limpa o caminho de log protegido.

Caminho de símbolos – o caminho de símbolos será usado para resolver o traçado de pilha no ficheiro de log. Se você não especificar um caminho de símbolo, o Application Verifier examinará automaticamente _NT_SYMBOL_PATH para ver se algum caminho de símbolo está especificado lá.

De, para – Você pode especificar o carimbo inicial e o carimbo final. Você só verá o conteúdo do log, que é gravado depois que o carimbo De é inserido e antes que o carimbo final seja inserido. Se não fornecer um carimbo de origem ou destino, o Application Verifier exibirá o log desde o início do ficheiro até ao seu final, respetivamente.

Registo de processos protegidos

A criação do arquivo de log do Application Verifier depende de variáveis de ambiente, como VERIFIER_LOG_PATH e %USERPROFILE%. Se um processo como o processo protegido (seguro) não puder acessar essas variáveis de ambiente, ele não conseguirá criar os arquivos de log. As seguintes opções de linha de comando podem ser usadas para definir/limpar o caminho do log de processo protegido. Esse caminho de log é usado somente se o processo não puder criar arquivos de log em VERIFIER_LOG_PATH ou %USERPROFILE%.

Para definir o caminho do log de processo protegido:

appverif –sppath [PROTECTED_PROCESS_LOG_PATH]

Por exemplo: A linha de comando a seguir define o caminho do log de processo protegido como "c:\My Logs\Verifier Logs".

appverif –sppath c:\My Logs\Verifier Logs

Nota: Certifique-se de que "c:\My Logs" existe e que o processo protegido tem permissão para criar ficheiros neste caminho.

A linha de comando a seguir mostra o caminho do log de processo protegido existente.

appverif –sppath

Para mostrar o caminho do log de processo protegido existente e limpá-lo, use a seguinte linha de comando:

appverif -cppath

Observe que a janela "Application Verifier –Logs" mostra os arquivos de log em %USERPROFILE% do usuário conectado. Se quiser que os logs de processo protegidos apareçam nessa interface do usuário, você precisará copiá-los manualmente para %USERPROFILE%\AppVerifierLogs.

Janela de Propriedades

A janela Propriedade fornece acesso às várias configurações para cada uma das camadas de verificação e verificações.

Acessando a janela de propriedade - A janela de propriedades exibe suas informações na metade inferior da tela.

Para visualizar a janela Propriedade - No menu Exibir, selecione Janela Propriedade. Uma marca de seleção aparecerá junto à seleção Janela de Propriedades.

Fechar a janela de propriedades - Se desejar, pode remover a janela de propriedades da sua visualização.

Para fechar a janela de propriedades - No menu Ver, selecione Janela de Propriedades. A marca de seleção ao lado da Janela de Propriedade será desmarcada.

Propriedades de configuração

Cada camada de verificação tem seu próprio conjunto de propriedades para definir e alterar. Para definir uma propriedade para uma camada de verificação, selecione a camada dentro da área de teste (por exemplo, Noções básicas). Esta etapa exibirá as propriedades do teste selecionado.

Captura de tela do Application Verifier exibindo propriedades para o teste Heaps.

Propriedades de configuração

Há dois conjuntos de propriedades no Application Verifier. Um é baseado nas verificações dentro de uma determinada camada de verificação, enquanto o outro é baseado na imagem (solução ou projeto). Essas propriedades são acessadas a partir da janela Propriedade.

O Application Verifier exibe as seguintes informações para cada uma das propriedades que podem ser editadas:

Nome - Nome exclusivo para cada uma das propriedades

Tipo - Booleano, DWORD, String, MultipleString

Valor - O elemento que pode ser alterado e varia com base no tipo

Descrição - A descrição explica o que é a propriedade.

Propriedades de edição para imagens

Para cada imagem que está sendo testada no Application Verifier, você pode editar o seguinte.

Propagar - Propagar as configurações do verificador do processo pai para o processo filho. Nem todos os testes podem ser propagados. Se essa propriedade estiver habilitada (caixa marcada), as configurações serão propagadas. Caso contrário, as configurações não serão propagadas.

AutoClr - Depois que a imagem especificada começar a ser executada, a imagem verificada limpará as configurações para si mesma. Se essa propriedade estiver habilitada (caixa marcada), a imagem verificada limpará as configurações. Caso contrário, não irá limpar as configurações.

AutoDisableStop - O verificador só reclamará uma vez pelo mesmo problema encontrado. Se o Verificador encontrar o mesmo problema novamente, ele não gerará um erro. Se essa propriedade estiver habilitada (caixa marcada), o Verificador gerará apenas um erro para um determinado problema. Caso contrário, o verificador gerará um erro cada vez que o problema ocorrer.

LoggingOnLocksHeld - O evento de carregamento/descarregamento do dll será registado. O verificador está fazendo E/S quando o bloqueio do carregador é mantido. Isso pode fazer com que o aplicativo trave. Se essa propriedade estiver habilitada (caixa marcada), o evento será registrado. Caso contrário, o evento não será registrado.

ExceptionOnStop – Para cada parada do verificador, será lançada uma exceção em vez de uma interrupção de depuração. Se essa propriedade estiver habilitada (caixa marcada), cada parada relatada pelo Verificador gerará uma exceção. Caso contrário, cada interrupção relatada pelo Verificador aciona o depurador.

MinimumMemoryOverhead – Reduza a sobrecarga de memória desativando alguns dos recursos usados apenas para depuração. Se essa propriedade estiver habilitada (caixa marcada), alguns recursos serão desabilitados para reduzir a sobrecarga de memória. Caso contrário, os recursos não serão desativados.

Observação

Não habilite a propriedade MinimumMemoryOverhead a menos que seja absolutamente necessário reduzir a sobrecarga de memória. Quando essa propriedade está ativada, faltam informações de depuração e é mais difícil diagnosticar erros.

Configuração/edição de propriedades para verificações

As propriedades estão associadas às verificações, portanto, verifique esses tópicos para obter informações detalhadas sobre os campos. Para editar as propriedades, você pode adotar uma das duas abordagens:

Individualmente - Dentro da janela da propriedade, clique duas vezes na propriedade que deseja editar. Isso exibirá uma caixa de diálogo que permitirá editar o item, bem como defini-lo de volta ao padrão. Altere a entrada e clique em OK.

Grupo - Na área Teste, clique na camada de teste ou verificação que você precisa editar. Use as opções de clique direito do mouse para exibir uma tela de todas as propriedades. Altere as propriedades ou redefina para o padrão e clique em OK.