Use After Free

Referenciar a memória depois de ela ter sido liberada pode fazer com que um programa trave.

Erros de uso após a liberação podem ocorrer quando um programa continua a usar um ponteiro depois que ele é liberado. Como erros de liberação dupla e vazamentos de memória, erros de uso após a liberação têm duas causas comuns e por vezes sobrepostas:

- Condições de erro e outras circunstâncias excepcionais.

- Confusão acerca de qual parte do programa é responsável por liberar a memória.

Erros de uso após a liberação às vezes não têm nenhum efeito e outras vezes fazem com que um programa falhe. Embora seja tecnicamente possível que a memória liberada seja realocada e que um invasor use essa realocação para lançar um ataque de buffer overflow, não temos conhecimento de qualquer exploração com base nesse tipo de ataque.

Exemplo: O código a seguir ilustra um erro de uso após a liberação:

char* ptr = (char*)malloc (SIZE);
...
if (err) {
    abrt = 1;
    free(ptr);
}
...
if (abrt) {
    logError("operation aborted before commit", ptr);
}