Спутанность типа в jsish 2.0 позволяет неправильно контролировать поток во время выполнения OP_NEXT opcode. Когда выражение «вступление» ис…

Спутанность типа в jsish 2.0 позволяет неправильно контролировать поток во время выполнения OP_NEXT opcode. Когда выражение «вступление» использует доступ к элементу массива в качестве левого операнда внутри цикла «в-в-в», реализация инструкций оставляет дополнительную ссылку на массив на стеке, а не потребляет его во время OP_INSTANCEOF. В результате OP_NEXT интерпретирует массив как объект итератора и считывает указатель функции iterCmd из невероятную структуру, что может привести к сбою или разрешающее выполнение кода в зависимости от макета кучи.