Modelo de Proveniência de Ponteiros em C

Modelo padroniza rastreamento de origem de valores de ponteiro.

Define instância de armazenamento como região máxima para análise de alias.

Introduz noções de exposição e síntese de ponteiros.

Especifica condições que expõem ponteiros (bytes, conversões, impressão).

Estabelece síntese via operações parciais, fread ou conversões.

Resolve ambiguidade de ponteiros adjacentes por análise do uso.

Recomenda evitar expor ponteiros para garantir otimizações seguras.