diff options
author | Mischa Untaga <99098079+MischaU8@users.noreply.github.com> | 2024-01-06 14:05:28 +0100 |
---|---|---|
committer | Mischa Untaga <99098079+MischaU8@users.noreply.github.com> | 2024-01-06 14:05:28 +0100 |
commit | 745eeb334505cb1d9b109ace8fcb00815c508843 (patch) | |
tree | f1db2607dd25e005648e2141c016ba2618cc36df | |
parent | 3911f51480bae09baeb2942249ff5bba07258ff0 (diff) | |
download | fuzzer-745eeb334505cb1d9b109ace8fcb00815c508843.tar.gz |
dump replay log to crash-replay.tsv
-rw-r--r-- | .gitignore | 2 | ||||
-rwxr-xr-x | rtt-module.js | 41 |
2 files changed, 23 insertions, 20 deletions
@@ -1,4 +1,4 @@ -corpus/ +corpus*/ coverage/ node_modules/ diff --git a/rtt-module.js b/rtt-module.js index af49030..31f426b 100755 --- a/rtt-module.js +++ b/rtt-module.js @@ -37,12 +37,13 @@ module.exports.fuzz = function(fuzzerInputData) { // TODO randomize options const options = {} - let game_setup = { - "seed": seed, - "scenario": scenario, - "options": options - } - // console.log(game_setup) + let replay = [] + let game_setup = [ + seed, + scenario, + options + ] + replay.push("\t.setup\t" + JSON.stringify(game_setup)) let state = RULES.setup(seed, scenario, options) let step = 0 @@ -67,17 +68,17 @@ module.exports.fuzz = function(fuzzerInputData) { try { view = RULES.view(state, active) } catch (e) { - log_crash(game_setup, state, view, step, active) + log_crash(replay, state, view, step, active) throw new RulesCrashError(e, e.stack) } if (MAX_STEPS > 0 && step > MAX_STEPS) { - log_crash(game_setup, state, view, step, active) + log_crash(replay, state, view, step, active) throw new MaxStepError("MAX_STEPS reached") } if (rules_view_schema && !rules_view_schema(view)) { - log_crash(game_setup, state, view, step, active) + log_crash(replay, state, view, step, active) console.log(rules_view_schema.errors) throw new SchemaValidationError("View data fails schema validation") } @@ -87,12 +88,12 @@ module.exports.fuzz = function(fuzzerInputData) { } if (view.prompt && view.prompt.startsWith("Unknown state:")) { - log_crash(game_setup, state, view, step, active) + log_crash(replay, state, view, step, active) throw new UnknownStateError(view.prompt) } if (!view.actions) { - log_crash(game_setup, state, view, step, active) + log_crash(replay, state, view, step, active) throw new NoMoreActionsError("No actions defined") } @@ -111,7 +112,7 @@ module.exports.fuzz = function(fuzzerInputData) { } if (Object.keys(actions).length === 0) { - log_crash(game_setup, state, view, step, active) + log_crash(replay, state, view, step, active) throw new NoMoreActionsError("No more actions to take (besides undo)") } @@ -122,22 +123,23 @@ module.exports.fuzz = function(fuzzerInputData) { // check for NaN as any suggested action argument and raise an error on those for (const arg in args) { if (isNaN(arg)) { - log_crash(game_setup, state, view, step, active) + log_crash(replay, state, view, step, active) throw new InvalidActionArgument(`Action '${action}' argument has NaN value`) } } args = data.pickValue(args) } // console.log(active, action, args) + replay.push(active + "\t" + action + "\t" + JSON.stringify(args)) try { - state = RULES.action(state, active, action, args) + state = RULES.action(state, active, action, JSON.stringify(args)) } catch (e) { - log_crash(game_setup, state, view, step, active, action, args) + log_crash(replay, state, view, step, active, action, args) throw new RulesCrashError(e, e.stack) } if (action === "undo" && state.active !== active) { - log_crash(game_setup, state, view, step, active) + log_crash(replay, state, view, step, active) throw new UndoActiveError(`undo caused active to switch from ${active} to ${state.active}`) } step += 1 @@ -145,18 +147,19 @@ module.exports.fuzz = function(fuzzerInputData) { } -function log_crash(game_setup, state, view, step, active, action=undefined, args=undefined) { +function log_crash(replay, state, view, step, active, action=undefined, args=undefined) { console.log() // console.log("STATE", state) - console.log("GAME", game_setup) console.log("VIEW", view) + console.log("SETUP", replay[0].split("\t")[2]) if (action !== undefined) { console.log(`STEP=${step} ACTIVE=${active} ACTION: ${action} ` + JSON.stringify(args)) } else { console.log(`STEP=${step} ACTIVE=${active}`) } - console.log("STATE dumped to 'crash-state.json'\n") + // console.log("STATE & REPLAY dumped to 'crash-state.json' and 'crash-replay.txt'") fs.writeFileSync("crash-state.json", JSON.stringify(state)) + fs.writeFileSync("crash-replay.tsv", replay.join("\n") + "\n") } // Custom Error classes, allowing us to ignore expected errors with -x |