Make `WasmPtr::get_utf8_string` return `String`#1979

Merged

syrusakbary merged 3 commits intomasterfrom fix/wasm-ptr-soundness

Jan 4, 2021

+101-27

Commits on Jan 4, 2021

Make WasmPtr::get_utf8_string return String
Mark McCaskey
committed
Improve docs, update cl
Mark McCaskey
committed
Reimplement WasmPtr::get_utf8_string to be fully sound
Mark McCaskey
committed