diff --git a/.gitattributes b/.gitattributes index 2880aebd2a8b03cc65da8716cd778caba365bcb2..15a788ad657c648a0aaa0048b501551ee73630f3 100644 --- a/.gitattributes +++ b/.gitattributes @@ -1001,10 +1001,12 @@ tools/cfar_configs/cfar_structNogOF_structSS_structDS_phase1_zipr.sh -text tools/cfar_configs/cfar_structNogOF_structSS_structSI_phase1_zipr.sh -text tools/cfar_configs/cfar_structNogOF_zipr.sh -text tools/cfar_configs/cfar_structNogX_phase1_zipr.sh -text +tools/cfar_configs/cfar_structNogX_structSS_structSI_phase1_zipr.sh -text tools/cfar_configs/cfar_structNog_phase1_zipr.sh -text tools/cfar_configs/cfar_structNog_structNol_structNoh_structNos_structNoc_probHeaprand_zipr.sh -text tools/cfar_configs/cfar_structNog_structNol_structNoh_structNos_structNoc_structP1Canaries_probHeaprand_zipr.sh -text tools/cfar_configs/cfar_structNog_structSS_phase1_zipr.sh -text +tools/cfar_configs/cfar_structNog_structSS_structSI_phase1_zipr.sh -text tools/cfar_configs/cfar_structNoh_probIlr_structP1Canaries_probHeaprand_structNos_strata.sh -text tools/cfar_configs/cfar_structNoh_structNos_structNoc_structP1Canaries_probHeaprand_zipr.sh -text tools/cfar_configs/cfar_structNol_structNoh_probIlr_structP1Canaries_probHeaprand_structNos_strata.sh -text diff --git a/tools/cfar_configs/cfar_structNogX_structSS_structSI_phase1_zipr.sh b/tools/cfar_configs/cfar_structNogX_structSS_structSI_phase1_zipr.sh new file mode 100755 index 0000000000000000000000000000000000000000..e7c71de01f3241e3e060b083f185195a0c7c2847 --- /dev/null +++ b/tools/cfar_configs/cfar_structNogX_structSS_structSI_phase1_zipr.sh @@ -0,0 +1,6 @@ +#!/bin/bash +source $(dirname $0)/../ps_wrapper.source $0 + + +$PEASOUP_HOME/tools/cfar.sh "$@" --backend zipr --step diehard=on --step-option zipr:"--zipr:seed $$" --structured_noc --structured_nos --step-option zipr:"--large_only:on true" --structured_p1_canaries --step p1transform=on --step initialize_stack=on --structured_stack_init --structured_ds --step non_overlapping_stack=on --config_name $(basename $0 .sh|sed "s/cfar_//") --step move_globals=on --step set_interpreter=on --step-option set_interpreter:"--interp /target_apps/ld-nol.so" --structured_nog --step xor_globals=on --step-option zipr:"--large_only:nog_on true" --step noh=on --step nol=on --step stack_stamp=on --structured_stack_stamp --step-option move_globals:-d --step-option move_globals:.interp --step-option move_globals:--aggressive + diff --git a/tools/cfar_configs/cfar_structNog_structSS_structSI_phase1_zipr.sh b/tools/cfar_configs/cfar_structNog_structSS_structSI_phase1_zipr.sh new file mode 100755 index 0000000000000000000000000000000000000000..bec12a9f1f15966143690fce813b807c8e60cd6e --- /dev/null +++ b/tools/cfar_configs/cfar_structNog_structSS_structSI_phase1_zipr.sh @@ -0,0 +1,6 @@ +#!/bin/bash +source $(dirname $0)/../ps_wrapper.source $0 + + +$PEASOUP_HOME/tools/cfar.sh "$@" --backend zipr --step diehard=on --step-option zipr:"--zipr:seed $$" --structured_noc --structured_nos --step-option zipr:"--large_only:on true" --structured_p1_canaries --step p1transform=on --step initialize_stack=on --structured_stack_init --structured_ds --step non_overlapping_stack=on --config_name $(basename $0 .sh|sed "s/cfar_//") --step move_globals=on --step set_interpreter=on --step-option set_interpreter:"--interp /target_apps/ld-nol.so" --structured_nog --step-option zipr:"--large_only:nog_on true" --step noh=on --step nol=on --step stack_stamp=on --structured_stack_stamp --step-option move_globals:-d --step-option move_globals:.interp --step-option move_globals:--aggressive +