From 57f6b746a1c53d9cdc5a23d9460a15dab18a363f Mon Sep 17 00:00:00 2001 From: Jason Hiser <jdhiser@gmail.com> Date: Sat, 17 Nov 2018 11:17:02 +0000 Subject: [PATCH] mvp4 configs Former-commit-id: bfbb80e4098950c26cbb0d715531b966f5187b4f --- .../cfar_probBilr_probP1_probNog_probHeaprand_probSS_zipr.sh | 5 +++++ ..._structP1Canaries_structNog_probHeaprand_structSS_zipr.sh | 4 ++++ 2 files changed, 9 insertions(+) create mode 100755 tools/cfar_configs/cfar_probBilr_probP1_probNog_probHeaprand_probSS_zipr.sh create mode 100755 tools/cfar_configs/cfar_structNoc_structP1Canaries_structNog_probHeaprand_structSS_zipr.sh diff --git a/tools/cfar_configs/cfar_probBilr_probP1_probNog_probHeaprand_probSS_zipr.sh b/tools/cfar_configs/cfar_probBilr_probP1_probNog_probHeaprand_probSS_zipr.sh new file mode 100755 index 000000000..6ad93ea79 --- /dev/null +++ b/tools/cfar_configs/cfar_probBilr_probP1_probNog_probHeaprand_probSS_zipr.sh @@ -0,0 +1,5 @@ +#!/bin/bash +source $(dirname $0)/../ps_wrapper.source $0 + +$PEASOUP_HOME/tools/cfar.sh "$@" --backend zipr -c diehard=on -c p1transform=on --config_name $(basename $0 .sh|sed "s/cfar_//") -c stack_stamp=on -c move_globals=on --step-option zipr:"--large_only:nog_on true" --step-option move_globals:-d --step-option move_globals:.interp --step-option move_globals:--aggressive + diff --git a/tools/cfar_configs/cfar_structNoc_structP1Canaries_structNog_probHeaprand_structSS_zipr.sh b/tools/cfar_configs/cfar_structNoc_structP1Canaries_structNog_probHeaprand_structSS_zipr.sh new file mode 100755 index 000000000..fc0d0ebf1 --- /dev/null +++ b/tools/cfar_configs/cfar_structNoc_structP1Canaries_structNog_probHeaprand_structSS_zipr.sh @@ -0,0 +1,4 @@ +#!/bin/bash +source $(dirname $0)/../ps_wrapper.source $0 + +$PEASOUP_HOME/tools/cfar.sh "$@" --backend zipr -c diehard=on --step-option zipr:"--zipr:seed $$" --structured_heap --structured_noc --step-option zipr:"--large_only:on true" --structured_p1_canaries -c p1transform=on --config_name $(basename $0 .sh|sed "s/cfar_//") -c stack_stamp=on --structured_stack_stamp -c move_globals=on --structured_nog --step-option zipr:"--large_only:nog_on true" --step-option move_globals:-d --step-option move_globals:.interp --step-option move_globals:--aggressive -- GitLab