Skip to content

Commit

Permalink
Adding trace oracles
Browse files Browse the repository at this point in the history
  • Loading branch information
Jacarte committed Aug 24, 2023
1 parent 1e97c5d commit 62a4d55
Show file tree
Hide file tree
Showing 2 changed files with 28 additions and 0 deletions.
14 changes: 14 additions & 0 deletions experiments/jobs/dynamic_diversity/oracle_diff_trace_ins.sh
Original file line number Diff line number Diff line change
@@ -0,0 +1,14 @@
trace_file=$1
wasm=$2

/host_based/tracer/pintool/pin/pin -t /host_based/tracer/pintool/obj-intel64/tracer.so -i 1 -m 0 -c 1 -b 1 -o trace.ins.txt -- tracer $wasm

# check if the trace.ins.txt is the same as the trace_file, return 1 if they are the same
if cmp -s "trace.ins.txt" "$trace_file"; then
echo "Different trace"
exit 1
else
exit 0
fi


14 changes: 14 additions & 0 deletions experiments/jobs/dynamic_diversity/oracle_diff_trace_mem.sh
Original file line number Diff line number Diff line change
@@ -0,0 +1,14 @@
trace_file=$1
wasm=$2

/host_based/tracer/pintool/pin/pin -t /host_based/tracer/pintool/obj-intel64/tracer.so -i 0 -m 1 -M 0 -c 0 -b 0 -o orig.ins.txt -- tracer $wasm

# check if the trace.ins.txt is the same as the trace_file, return 1 if they are the same
if cmp -s "trace.ins.txt" "$trace_file"; then
echo "Different trace"
exit 1
else
exit 0
fi


0 comments on commit 62a4d55

Please sign in to comment.