New issue
Advanced search Search tips

Issue 650214 link

Starred by 2 users

Issue metadata

Status: Assigned
Owner:
Cc:
Components:
EstimatedDays: ----
NextAction: ----
OS: ----
Pri: 2
Type: Feature


Sign in to add a comment

Implement a JavaScript correctness fuzzer harness

Project Member Reported by hablich@chromium.org, Sep 26 2016

Issue description

Our current JavaScript fuzzers try to create crashers by fuzzing JavaScript test cases. Unfortunately this does not really help for finding correctness issues like 1+1=3.

This should help decreasing the probability that we "break the web" by not correctly executing JavaScript code.
 
Description: Show this description
Cc: hablich@chromium.org
Owner: machenb...@chromium.org
machenbach@ is currently working on a prototype.
Blockedon: 660016
Blockedon: 660379
Blockedon: 661510
Blockedon: -660016
Blockedon: -660379
Blockedon: 661577
Blockedon: 660457
Blockedon: 661584
Summary: Implement a JavaScript correctness fuzzer harness (was: Implement a JavaScript correctness fuzzer)
Adjusting the goal a little. This is about creating a harness that utilizes an existing fuzzer/generator. ATM I experiment with mbarbella_js_mutation as fuzzer, wrapped by the new harness.

WIP CL: https://chromereviews.googleplex.com/521487017/

Currently I iterate over:

1. Create test cases with slightly adjusted fuzzer.
2. Run harness+d8 and minimizer using experimental workbench.py.
3. Look at the outcome and readjust fuzzer/harness and/or file bugs.
Blockedon: 662423
Blockedon: 663324
Blockedon: 663714
Blockedon: 664068
Blockedon: 668413
Blockedon: 673246

Sign in to add a comment