New issue
Advanced search Search tips
Note: Color blocks (like or ) mean that a user may not be available. Tooltip shows the reason.

Issue 648080 link

Starred by 2 users

Issue metadata

Status: Verified
Owner:
Closed: Sep 2016
Cc:
Components:
EstimatedDays: ----
NextAction: ----
OS: Linux
Pri: 1
Type: Bug



Sign in to add a comment

(result_interpreted)==(result_compiled) in wasm-code.cc

Project Member Reported by ClusterFuzz, Sep 18 2016

Issue description

Comment 1 by mmoroz@chromium.org, Sep 18 2016

Cc: mmoroz@chromium.org titzer@chromium.org kcc@chromium.org aizatsky@chromium.org
Components: Blink>JavaScript>WebAssembly
Owner: ahaas@chromium.org
Andreas, looks like your correctness check works:
(result_interpreted) is not equal to (result_compiled), nice!
Status: Assigned (was: Untriaged)

Comment 3 by ahaas@chromium.org, Sep 21 2016

Status: Started (was: Assigned)

Comment 4 by ahaas@chromium.org, Sep 21 2016

Status: Assigned (was: Started)
This is a smaller test case:
+// Flags: --expose-wasm
+
+load("test/mjsunit/wasm/wasm-constants.js");
+load("test/mjsunit/wasm/wasm-module-builder.js");
+
+(function() {
+var builder = new WasmModuleBuilder();
+var original_size = 16;
+builder.addMemory(original_size, 1000, false);
+builder.addFunction("foo", kSig_i_v)
+  .addBody([
+      kExprMemorySize,
+      kExprI32Const, 34,
+      kExprGrowMemory,
+      kExprI32DivU
+            ])
+            .exportFunc();
+var module = builder.instantiate();
+assertEquals(original_size, module.exports.foo());
+})();

We have to wait with a fix until the 0xc patch lands (https://codereview.chromium.org/2345593003)
Project Member

Comment 5 by ClusterFuzz, Sep 23 2016

ClusterFuzz has detected this issue as fixed in range 420327:420425.

Detailed report: https://cluster-fuzz.appspot.com/testcase?key=5147683918708736

Fuzzer: afl_v8_wasm_code_fuzzer
Job Type: afl_chrome_asan
Platform Id: linux

Crash Type: CHECK failure
Crash Address: 
Crash State:
  (result_interpreted)==(result_compiled) in wasm-code.cc
  
Regressed: https://cluster-fuzz.appspot.com/revisions?job=afl_chrome_asan&range=418554:418622
Fixed: https://cluster-fuzz.appspot.com/revisions?job=afl_chrome_asan&range=420327:420425

Minimized Testcase (0.02 Kb): https://cluster-fuzz.appspot.com/download/AMIfv97XQZSmhKKuOoG70miXSSOEnRUhT-J7ZKSMCJmEUIycmWY5Mob3Jk9Nn1SIsOHtVwG6iyQFGwe4e_jbwokXYBwM2hPlDTebH23tz7z1DSBFt7kpSaG8H9vdUEfRfPgAUJdycnQSRtkXMV32TczBQwLHNhzxZQ?testcase_id=5147683918708736

See https://chromium.googlesource.com/chromium/src/+/master/testing/libfuzzer/reproducing.md for more information.

If you suspect that the result above is incorrect, try re-doing that job on the test case report page.
Project Member

Comment 6 by ClusterFuzz, Sep 24 2016

Labels: ClusterFuzz-Verified
Status: Verified (was: Assigned)
ClusterFuzz testcase is verified as fixed, closing issue.

If this is incorrect, please add ClusterFuzz-Wrong label and re-open the issue.
Project Member

Comment 7 by sheriffbot@chromium.org, Nov 22 2016

Labels: -Restrict-View-EditIssue
Removing EditIssue view restrictions from ClusterFuzz filed bugs. If you believe that this issue should still be restricted, please reapply the label.

For more details visit https://www.chromium.org/issue-tracking/autotriage - Your friendly Sheriffbot

Sign in to add a comment