A ausência de verificação de privilégios no manipulador de limpeza de contexto seguro permite que usuários locais causem uma condição de use-after-free na memória do mundo seguro. Isso ocorre por meio do manipulador SVC utilizado para a desalocação do contexto seguro. Um use-after-free é um cenário onde um programa continua a usar um ponteiro após ele ter sido liberado, o que pode levar a falhas ou acesso não autorizado à memória.