diff options
| author | Nguyễn Gia Phong <cnx@loang.net> | 2025-10-17 06:19:22 +0900 |
|---|---|---|
| committer | Nguyễn Gia Phong <cnx@loang.net> | 2025-10-17 06:19:22 +0900 |
| commit | 663ea12374e958fa83ac7e1b439dd6ab22bb59ed (patch) | |
| tree | 8bee2d3ae37acd62d78dd68de2798a0e6687516b /fix.m4 | |
| parent | d8090bb73f404a9abff5b7cc9cfdd8cdb1ee4d5f (diff) | |
| download | taosc-663ea12374e958fa83ac7e1b439dd6ab22bb59ed.tar.gz | |
Implement ERM
Diffstat (limited to 'fix.m4')
| -rw-r--r-- | fix.m4 | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/fix.m4 b/fix.m4 index 3425e53..4ae99b9 100644 --- a/fix.m4 +++ b/fix.m4 @@ -33,7 +33,7 @@ bad() { if test $# -lt 4 then - echo Usage: taosc-fix WORKDIR TIMEOUT EXECUTABLE PROOFS-OF-CONCEPT [OPTION]... + echo Usage: taosc-fix WORKDIR TIMEOUT EXECUTABLE PROOFS_OF_CONCEPT [OPTION]... exit 1 fi wd="$(realpath $1)" @@ -135,4 +135,6 @@ do "$bin.collect" $options "$input" done done +# TODO: split if the patch location is reached multiple times with an input +taosc-synth $stack_size "$wd"/values/{benign,malicious} > "$wd/predicates" # vim: filetype=sh.m4 |