Browse Source

Tools for working with directories of fuzzed stuff.

Nick Mathewson 7 years ago
parent
commit
83e9918107
2 changed files with 33 additions and 0 deletions
  1. 19 0
      src/test/fuzz/fixup_filenames.sh
  2. 14 0
      src/test/fuzz/minimize.sh

+ 19 - 0
src/test/fuzz/fixup_filenames.sh

@@ -0,0 +1,19 @@
+#!/bin/sh
+
+set -e
+
+if [ ! -d "$1" ] ; then
+    echo "I need a directory"
+    exit 1
+fi
+
+for fn in "$1"/* ; do
+    prev=`basename "$fn"`
+    post=`sha256sum "$fn" | sed -e 's/ .*//;'`
+    if [ "$prev" == "$post" ] ; then
+      echo "OK $prev"
+    else
+      echo "mv $prev $post"
+      mv "$fn" "$1/$post"
+    fi
+done

+ 14 - 0
src/test/fuzz/minimize.sh

@@ -0,0 +1,14 @@
+#!/bin/sh
+
+set -e
+
+if [ ! -d "$1" ] ; then
+    echo "I need a directory"
+    exit 1
+fi
+
+which=`basename "$1"`
+
+mkdir "$1.out"
+afl-cmin -i "$1" -o "$1.out" -m none "./src/test/fuzz/fuzz-${which}"
+