В OCaml до 4.14.3 и 5.x до 5.4.1 буферное перечитывание в дезериализации маршала (runtime/intern.c) обеспечивает удаленное выполнение кода …

В OCaml до 4.14.3 и 5.x до 5.4.1 буферное перечитывание в дезериализации маршала (runtime/intern.c) обеспечивает удаленное выполнение кода через многофазную цепочку атаки. Уязвимость проистекает из проверки отсутствующих границ в функции readblock(), которая выполняет неограненные операции memcpy() с использованием контролируемых злоумышленниками длин из созданных данных маршала.