diff options
| -rw-r--r-- | describe-redact.sed | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/describe-redact.sed b/describe-redact.sed new file mode 100644 index 0000000..1303058 --- /dev/null +++ b/describe-redact.sed @@ -0,0 +1,5 @@ +# Pipe either memory segment's output through this after the other script, +# to remove things that depend on exact addresses. + +/^[0-9a-f]\{16\}/d +s/^ lit [0-9]\+ exit$/ lit REDACTED exit/ |