Heap-based Buffer Over-read in Binaryen by WebAssembly

CVE-2019-7701

What is CVE-2019-7701?

A heap-based buffer over-read vulnerability was identified in the Binaryen framework, specifically in the wasm::SExpressionParser::skipWhitespace() function within the wasm-s-parser.cpp file. This issue can be triggered by a specially crafted WebAssembly (wasm) input, resulting in a segmentation fault. The improper handling of input can lead to denial-of-service conditions, as demonstrated through the wasm2js tool. Users of Binaryen 1.38.22 should take precautions to mitigate potential exploitation risks.

References