entrypointsv4,
high_syms=high_syms,
memory_file="spectrev4.mem")
paramsv4 = P.Params(timeout=TIMEOUT,
n_iter=N_ITER,
stat_file=STAT_PATH,
debug=DEBUG)
try:
os.remove(STAT_PATH)
except OSError:
print(STAT_PATH)
pass
# Run expes for CT
E.xp_runner(benchsv1, paramsv1)
E.xp_runner(benchsv4, paramsv4)
# Experiments for Spectre-PHT
E.xp_runner(benchsv1, paramsv1, pht=E.PHT_HAUNTED, dyn_pht=E.DYN_PHT_FULL)
# # Experiments for Spectre-STL
E.xp_runner(benchsv4, paramsv4, stl=E.STL_HAUNTED)
# Printing results
print("\n\nSummary of results:\n")
df = I.get_df_from_files(STAT_DIR, [STAT_FILE])
df = df.groupby(['pht_status', 'stl_status']).sum()
df = df[(df.T != 0).any()]
df['label'] = "None"
df.loc[('NoPHT', 'NoSTL'), ['label']] = "0-CT"
TIMEOUT = 3600
N_ITER = 1
STAT_FILE = "stats/results.csv"
DEBUG = P.NONE
# DEBUG = P.DEBUG
# Use cases
executable = "spectrev1"
entrypoints = [
"case_1", "case_2", "case_3", "case_4", "case_5", "case_6", "case_7",
"case_8", "case_9", "case_10", "case_11gcc", "case_11ker", "case_11sub",
"case_12", "case_13", "case_14"
]
high_syms = "secretarray"
if __name__ == '__main__':
benchs = B.BenchsMultiEp(executable, entrypoints, high_syms=high_syms)
params = P.Params(timeout=TIMEOUT,
n_iter=N_ITER,
stat_file=STAT_FILE,
debug=DEBUG)
# # Run expes for CT
E.xp_runner(benchs, params)
# Experiments for Spectre-PHT
E.xp_runner(benchs, params, pht=E.PHT_EXPLICIT, dyn_pht=E.DYN_PHT_FULL)
E.xp_runner(benchs, params, pht=E.PHT_HAUNTED, dyn_pht=E.DYN_PHT_FULL)
N_ITER = 1
STAT_FILE = "stats/results.csv"
DEBUG = P.NONE
# DEBUG = P.VERBOSE
# # DEBUG = P.DEBUG
# Use cases
mee_cbc = B.Executable("mee-cbc",
high_syms="out,enc_sk,mac_sk",
memory_file="mee-cbc.mem")
executables = [mee_cbc]
if __name__ == '__main__':
benchs = B.BenchsFromExecutables(executables)
params = P.Params(timeout=TIMEOUT,
n_iter=N_ITER,
stat_file=STAT_FILE,
debug=DEBUG)
# Run expes for CT
E.xp_runner(benchs, params)
# Experiments for Spectre-PHT
E.xp_runner(benchs, params, pht=E.PHT_EXPLICIT)
E.xp_runner(benchs, params, pht=E.PHT_HAUNTED)
# Experiments for Spectre-STL
E.xp_runner(benchs, params, stl=E.STL_EXPLICIT)
E.xp_runner(benchs, params, stl=E.STL_HAUNTED)