added awk scripts to process crashes

.editorconfig

@@ -10,7 +10,7 @@ insert_final_newline = true
 indent_style = tab
 indent_size = 4
 
-[*.{c,h,rs}]
+[*.{c,h,rs,awk}]
 indent_style = space
 indent_size = 4
 

work/.gitignore

@@ -5,3 +5,4 @@
 !*.conf
 !stored_work
 !*.r
+!*.awk

work/crash_min_time.awk

@@ -0,0 +1,17 @@
+{
+    if (times[$1] == "" || $2 < times[$1]) {
+        times[$1] = $2
+        fuzzers[$1] = $3
+        files[$1] = $4
+    }
+}
+
+END {
+    for (h in files) {
+        t = times[h]
+        fz = fuzzers[h]
+        f = files[h]
+        print h, t, fz, f
+    }
+}
+

work/crash_times.awk

@@ -0,0 +1,27 @@
+$1 == "Hash:" {
+    current_hash = $2
+}
+
+$1 == "Fuzzer:" {
+    current_fuzzer = $2
+}
+
+$1 == "File:" {
+    ("date -r "$2" '+%s'")|getline date_s
+    date=strtonum(date_s)
+    if (files[current_hash] == "" || date < dates[current_hash]) {
+        dates[current_hash] = date
+        fuzzers[current_hash] = current_fuzzer
+        files[current_hash] = $2
+    }
+}
+
+END {
+    for (h in files) {
+        f = files[h]
+        d = dates[h]
+        fz = fuzzers[h]
+        print h, d - start_time, fz, f
+    }
+}
+

work/crash_times_agg.awk

@@ -0,0 +1,19 @@
+{
+    if ($1 in times) {
+        times[$1] = times[$1] SUBSEP $2
+    } else {
+        times[$1] = $2
+    }
+}
+
+END {
+    idx = 0
+    for (h in times) {
+        n = split(times[h], ts, SUBSEP)
+        for (i = 1; i < n + 1; i++) {
+            print idx, h, ts[i]
+        }
+        idx++
+    }
+}
+