PaddingByteInformationDisclosure (Consulta CodeQL para Driver do Windows)

Visão geral

Uma estrutura ou classe recém-alocada, inicializada membro a membro, pode vazar informações se incluir bytes intermédios de preenchimento.

Recomendação

Certifique-se de que todos os bytes de preenchimento na struct ou classe estejam inicializados.

Se possível, use memset para inicializar toda a estrutura/classe.

Exemplo

O exemplo a seguir mostra um cenário em que o padding entre o primeiro e o segundo elemento não é inicializado.

typedef enum { Unknown = 0, Known = 1, Other = 2 } MyStructType;
struct MyStruct { MyStructType type; UINT64 id; };
MyStruct testReturn() 
{
	// BAD: Padding between the first and second elements not initialized.
	MyStruct myBadStackStruct = { Unknown };
	return myBadStackStruct;
}

Para corrigi-lo, vamos inicializar todos os bytes usando memset:

typedef enum { Unknown = 0, Known = 1, Other = 2 } MyStructType;
struct MyStruct { MyStructType type; UINT64 id; };
MyStruct testReturn()
{
	// GOOD: All padding bytes initialized
	MyStruct* myGoodHeapStruct = (struct MyStruct*)malloc(sizeof(struct MyStruct));
	memset(myGoodHeapStruct, 0, sizeof(struct MyStruct));
	return *myGoodHeapStruct;
}

Detalhes Adicionais

Esta consulta pode ser encontrada no repositório Microsoft GitHub CodeQL. Consulte a página CodeQL e Teste de logotipo de ferramentas estáticas para obter detalhes sobre como os desenvolvedores de drivers do Windows podem baixar e executar o CodeQL.