• Clemens Backes's avatar
    [wasm][fuzzer] Check for nondeterminism in all fuzzers · 388a317c
    Clemens Backes authored
    The "wasm fuzzer" and "wasm async fuzzer" use the
    {InterpretAndExecuteModule} function, which did not check for possible
    nondeterminism in the interpreter yet. This can lead to wrong reports
    of mismatches, or in endless loops being executed in compiled code which
    was not executed in the interpreter.
    
    This CL adds the check for nondeterminism in that function, and adds a
    TODO to merge the two very similar methods.
    
    R=ahaas@chromium.org
    
    Bug: chromium:1112099, chromium:1113681
    Change-Id: I80b01d4c53d04f0632807fa852147dc9fb8075ca
    Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/2346280
    Commit-Queue: Clemens Backes <clemensb@chromium.org>
    Reviewed-by: 's avatarAndreas Haas <ahaas@chromium.org>
    Cr-Commit-Position: refs/heads/master@{#69324}
    388a317c
Name
Last commit
Last update
..
json Loading commit data...
multi_return Loading commit data...
parser Loading commit data...
regexp Loading commit data...
regexp_builtins Loading commit data...
wasm Loading commit data...
wasm_async Loading commit data...
wasm_code Loading commit data...
wasm_compile Loading commit data...
BUILD.gn Loading commit data...
DEPS Loading commit data...
README.md Loading commit data...
fuzzer-support.cc Loading commit data...
fuzzer-support.h Loading commit data...
fuzzer.cc Loading commit data...
fuzzer.status Loading commit data...
json.cc Loading commit data...
multi-return.cc Loading commit data...
parser.cc Loading commit data...
regexp-builtins.cc Loading commit data...
regexp.cc Loading commit data...
testcfg.py Loading commit data...
wasm-async.cc Loading commit data...
wasm-code.cc Loading commit data...
wasm-compile.cc Loading commit data...
wasm-fuzzer-common.cc Loading commit data...
wasm-fuzzer-common.h Loading commit data...
wasm.cc Loading commit data...
wasm_corpus.tar.gz.sha1 Loading commit data...