• Andreas Haas's avatar
    [wasm][fuzzer] Do not execute code with potential non-determinism · 8f07a87d
    Andreas Haas authored
    The WebAssembly spec is not fully deterministic: the sign bit of NaN
    can be arbitrary. This sign bit can be observed by several WebAssembly
    opcodes. In the testcase the sign bit of NaN makes the difference
    between terminating code and an infinite loop.
    
    In the libfuzzer fuzzer we have to prevent infinite loops ourselves.
    At the moment we do this by only execute generated code of WebAssembly
    modules for which the interpretation of the code ends in a limited
    number of steps. With the non-determinism described above we cannot
    guarantee the absence of infinite loops with this method. Therefore
    we stop now to execute generated code of WebAssembly modules for which
    we observe possible non-determinism in the interpreter.
    
    R=clemensh@chromium.org
    
    Bug: chromium:863829
    Change-Id: I461d67df87d672bed25d6c915ba7ea5134cb5890
    Reviewed-on: https://chromium-review.googlesource.com/1141945Reviewed-by: 's avatarClemens Hammacher <clemensh@chromium.org>
    Commit-Queue: Andreas Haas <ahaas@chromium.org>
    Cr-Commit-Position: refs/heads/master@{#54541}
    8f07a87d
Name
Last commit
Last update
benchmarks Loading commit data...
build_overrides Loading commit data...
custom_deps Loading commit data...
docs Loading commit data...
gni Loading commit data...
include Loading commit data...
infra Loading commit data...
samples Loading commit data...
src Loading commit data...
test Loading commit data...
testing Loading commit data...
third_party Loading commit data...
tools Loading commit data...
.clang-format Loading commit data...
.editorconfig Loading commit data...
.git-blame-ignore-revs Loading commit data...
.gitattributes Loading commit data...
.gitignore Loading commit data...
.gn Loading commit data...
.vpython Loading commit data...
.ycm_extra_conf.py Loading commit data...
AUTHORS Loading commit data...
BUILD.gn Loading commit data...
CODE_OF_CONDUCT.md Loading commit data...
ChangeLog Loading commit data...
DEPS Loading commit data...
LICENSE Loading commit data...
LICENSE.fdlibm Loading commit data...
LICENSE.strongtalk Loading commit data...
LICENSE.v8 Loading commit data...
LICENSE.valgrind Loading commit data...
OWNERS Loading commit data...
PRESUBMIT.py Loading commit data...
README.md Loading commit data...
WATCHLISTS Loading commit data...
codereview.settings Loading commit data...
snapshot_toolchain.gni Loading commit data...