Arai-A

Um problema na especificação ECMAScript relativa aos geradores assíncronos pode levar a uma implementação incorreta, de forma a representar um problema de segurança, como confusão de tipos e desreferência de ponteiros. O mecanismo interno do gerador assíncrono chama funções regulares de resolução de promessas em objetos IteratorResult, assumindo que esses objetos não serão then-ables. No entanto, esses objetos podem ser tornados then-ables, desencadeando comportamentos arbitrários, incluindo a reentrada no mecanismo do gerador assíncrono de uma forma que viola algumas invariantes internas.

Uma suposição incorreta na implementação do `AsyncGenerator` pelo Boa pode causar uma exceção não interceptada em determinados scripts. Isso ocorre porque presume-se que o estado de um objeto `AsyncGenerator` não se altere durante a resolução de uma promessa criada por métodos como `%AsyncGeneratorPrototype%.next`, `%AsyncGeneratorPrototype%.return` ou `%AsyncGeneratorPrototype%.throw`. No entanto, um código cuidadosamente construído pode acionar uma transição de estado a partir de um método getter para a propriedade `then` da promessa, fazendo com que o mecanismo falhe na verificação dessa suposição e resultando em uma exceção não capturada. Isso poderia ser usado para criar um ataque de Negação de Serviço em aplicativos que executam código ECMAScript arbitrário fornecido por um usuário externo.