diff options
| author | Nguyễn Gia Phong <cnx@loang.net> | 2025-02-02 18:57:10 +0900 |
|---|---|---|
| committer | Nguyễn Gia Phong <cnx@loang.net> | 2025-02-02 19:04:31 +0900 |
| commit | 2d914e1013b8a17e93024ec85834c3ed486a989a (patch) | |
| tree | 85c381a18f9c8b2e6f3d04d9bdca9a2744f4792c | |
| parent | 7cf416a727f48b78afd820c68ac78e84c4919404 (diff) | |
| download | taosc-2d914e1013b8a17e93024ec85834c3ed486a989a.tar.gz | |
Stop timing synthesis stage
| -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 |