Resiliência a ataques de injeção em vivacidade: comprovada, não presumida