summaryrefslogtreecommitdiff
path: root/scripts/fuzz_shell.js
diff options
context:
space:
mode:
Diffstat (limited to 'scripts/fuzz_shell.js')
-rw-r--r--scripts/fuzz_shell.js123
1 files changed, 0 insertions, 123 deletions
diff --git a/scripts/fuzz_shell.js b/scripts/fuzz_shell.js
index 08864dfc7..4a3b42d9f 100644
--- a/scripts/fuzz_shell.js
+++ b/scripts/fuzz_shell.js
@@ -38,119 +38,6 @@ var detrand = (function() {
};
})();
-// Asyncify integration.
-var Asyncify = {
- sleeping: false,
- sleepingFunction: null,
- sleeps: 0,
- maxDepth: 0,
- DATA_ADDR: 4,
- // The fuzzer emits memories of size 16 (pages). Allow us to use almost all of
- // that (we start from offset 4, so we can't use them all).
- DATA_MAX: 15 * 65536,
- savedMemory: null,
- instrumentImports: function(imports) {
- var ret = {};
- for (var module in imports) {
- ret[module] = {};
- for (var i in imports[module]) {
- if (typeof imports[module][i] === 'function') {
- (function(module, i) {
- ret[module][i] = function() {
- refreshView();
- if (!Asyncify.sleeping) {
- // Sleep if asyncify support is present (which also requires
- // that the memory be exported), and at a certain probability.
- if (exports.asyncify_start_unwind &&
- view &&
- detrand() < 0.5) {
- // We are called in order to start a sleep/unwind.
- console.log('asyncify: sleep in ' + i + '...');
- Asyncify.sleepingFunction = i;
- Asyncify.sleeps++;
- var depth = new Error().stack.split('\n').length - 6;
- Asyncify.maxDepth = Math.max(Asyncify.maxDepth, depth);
- // Save the memory we use for data, so after we restore it later, the
- // sleep/resume appears to have had no change to memory.
- Asyncify.savedMemory = new Int32Array(view.subarray(Asyncify.DATA_ADDR >> 2, Asyncify.DATA_MAX >> 2));
- // Unwinding.
- // Fill in the data structure. The first value has the stack location,
- // which for simplicity we can start right after the data structure itself.
- view[Asyncify.DATA_ADDR >> 2] = Asyncify.DATA_ADDR + 8;
- // The end of the stack will not be reached here anyhow.
- view[Asyncify.DATA_ADDR + 4 >> 2] = Asyncify.DATA_MAX;
- exports.asyncify_start_unwind(Asyncify.DATA_ADDR);
- Asyncify.sleeping = true;
- } else {
- // Don't sleep, normal execution.
- return imports[module][i].apply(null, arguments);
- }
- } else {
- // We are called as part of a resume/rewind. Stop sleeping.
- console.log('asyncify: resume in ' + i + '...');
- assert(Asyncify.sleepingFunction === i);
- exports.asyncify_stop_rewind();
- // The stack should have been all used up, and so returned to the original state.
- assert(view[Asyncify.DATA_ADDR >> 2] == Asyncify.DATA_ADDR + 8);
- assert(view[Asyncify.DATA_ADDR + 4 >> 2] == Asyncify.DATA_MAX);
- Asyncify.sleeping = false;
- // Restore the memory to the state from before we slept.
- view.set(Asyncify.savedMemory, Asyncify.DATA_ADDR >> 2);
- return imports[module][i].apply(null, arguments);
- }
- };
- })(module, i);
- } else {
- ret[module][i] = imports[module][i];
- }
- }
- }
- // Add ignored.print, which is ignored by asyncify, and allows debugging of asyncified code.
- ret['ignored'] = { 'print': function(x, y) { console.log(x, y) } };
- return ret;
- },
- instrumentExports: function(exports) {
- var ret = {};
- for (var e in exports) {
- if (typeof exports[e] === 'function' &&
- !e.startsWith('asyncify_')) {
- (function(e) {
- ret[e] = function() {
- while (1) {
- var ret = exports[e].apply(null, arguments);
- // If we are sleeping, then the stack was unwound; rewind it.
- if (Asyncify.sleeping) {
- console.log('asyncify: stop unwind; rewind');
- assert(!ret, 'results during sleep are meaningless, just 0');
- //console.log('asyncify: after unwind', view[Asyncify.DATA_ADDR >> 2], view[Asyncify.DATA_ADDR + 4 >> 2]);
- try {
- exports.asyncify_stop_unwind();
- exports.asyncify_start_rewind(Asyncify.DATA_ADDR);
- } catch (e) {
- console.log('error in unwind/rewind switch', e);
- }
- continue;
- }
- return ret;
- }
- };
- })(e);
- } else {
- ret[e] = exports[e];
- }
- }
- return ret;
- },
- check: function() {
- assert(!Asyncify.sleeping);
- },
- finish: function() {
- if (Asyncify.sleeps > 0) {
- print('asyncify:', 'sleeps:', Asyncify.sleeps, 'max depth:', Asyncify.maxDepth);
- }
- },
-};
-
// Fuzz integration.
function logValue(x, y) {
if (typeof y !== 'undefined') {
@@ -183,8 +70,6 @@ if (typeof WebAssembly.Tag !== 'undefined') {
};
}
-imports = Asyncify.instrumentImports(imports);
-
// Create the wasm.
var module = new WebAssembly.Module(binary);
@@ -198,7 +83,6 @@ try {
// Handle the exports.
var exports = instance.exports;
-exports = Asyncify.instrumentExports(exports);
var view;
@@ -215,12 +99,7 @@ for (var e in exports) {
sortedExports.push(e);
}
sortedExports.sort();
-sortedExports = sortedExports.filter(function(e) {
- // Filter special intrinsic functions.
- return !e.startsWith('asyncify_');
-});
sortedExports.forEach(function(e) {
- Asyncify.check();
if (typeof exports[e] !== 'function') return;
try {
console.log('[fuzz-exec] calling ' + e);
@@ -233,5 +112,3 @@ sortedExports.forEach(function(e) {
}
});
-// Finish up
-Asyncify.finish();