diff options
| -rw-r--r-- | fix.m4 | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/fix.m4 b/fix.m4 index 471b9f0..03b0e89 100644 --- a/fix.m4 +++ b/fix.m4 @@ -1,6 +1,6 @@ #!/bin/sh -# Patcher -# Copyright (C) 2024 Nguyễn Gia Phong +# Executable patcher +# Copyright (C) 2024-2025 Nguyễn Gia Phong # # This file is part of taosc. # @@ -42,8 +42,6 @@ afl-dyninst-env afl-fuzz -i "$wd/fuzz/exploits" -o "$wd/fuzz/crashes"\ -CE 10000 -- "$bin.fuzzee" $opts @@ find "$wd/fuzz/crashes/default/crashes" -name id:* | parallel\ TAOSC_OUTPUT="$wd/vars/neg/"'$(basename {})' "$bin.collect" $opts {} || true -time taosc-synth "$wd/vars" > "$wd/predicates" +taosc-synth "$wd/vars" > "$wd/predicates" taosc-scout "$binary" "$address" > "$wd/destinations" - -# TAOSC_PREDICATE=">=v15p0" TAOSC_DESTINATION=0x "$bin.patched" -d @@ # vim: filetype=sh.m4 |