diff options
author | Alon Zakai <azakai@google.com> | 2024-12-09 14:46:24 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-12-09 14:46:24 -0800 |
commit | 7f62a423ee4bd908f485d01945b71786176b926a (patch) | |
tree | aae42c49412b0153c34ef5a26fea888bb404bdd7 /scripts/test/shared.py | |
parent | 729ea41d145d369b203dca6f70b251ea365cb3d0 (diff) | |
download | binaryen-7f62a423ee4bd908f485d01945b71786176b926a.tar.gz binaryen-7f62a423ee4bd908f485d01945b71786176b926a.tar.bz2 binaryen-7f62a423ee4bd908f485d01945b71786176b926a.zip |
Fuzzer: Add call-ref, call-ref-catch imports (#7137)
Similar to call-export*, these imports call a wasm function from outside the
module. The difference is that we send a function reference for them to call
(rather than an export index).
This gives more coverage, first by sending a ref from wasm to JS, and also
since we will now try to call anything that is sent. Exports, in comparison,
are filtered by the fuzzer to things that JS can handle, so this may lead to
more traps, but maybe also some new situations. This also leads to adding
more logic to execution-results.h to model JS trapping properly.
fuzz_shell.js is refactored to allow sharing code between call-export* and
call-ref*.
Diffstat (limited to 'scripts/test/shared.py')
0 files changed, 0 insertions, 0 deletions