Функция caml_ba_deserialize в byterun/bigarray.c в стандартной библиотеке в OCaml 4.06.0 имеет переполнение целого числа, которое в ситуаци…

Функция caml_ba_deserialize в byterun/bigarray.c в стандартной библиотеке в OCaml 4.06.0 имеет переполнение целого числа, которое в ситуациях, когда маршалированные данные принимаются из ненадежного источника, позволяет удаленным злоумышленникам вызвать отказ в обслуживании (повреждение памяти) или, возможно, выполнить произвольный код с помощью специально созданного объекта.