def run_config(config, bitcodeFile, searchConfig, originalConfig): global search utilities.print_config(config, "config_temp.json") result = transform.transform(bitcodeFile, "config_temp.json") if result == 1: utilities.print_config( config, "VALID_config_" + bitcodeFile + "_" + str(search) + ".json") utilities.log_config(config, "VALID", "log.dd", search) utilities.print_diff( searchConfig, originalConfig, "diff_" + bitcodeFile + "_" + str(search) + ".json") elif result == 0: utilities.print_config( config, "INVALID_config_" + bitcodeFile + "_" + str(search) + ".json") utilities.log_config(config, "INVALID", "log.dd", search) elif result == -1: utilities.print_config( config, "FAIL1_config_" + bitcodeFile + "_" + str(search) + ".json") utilities.log_config(config, "FAIL1", "log.dd", search) elif result == -2: utilities.print_config( config, "FAIL2_config_" + bitcodeFile + "_" + str(search) + ".json") utilities.log_config(config, "FAIL2", "log.dd", search) elif result == -3: utilities.print_config( config, "FAIL3_config_" + bitcodeFile + "_" + str(search) + ".json") utilities.log_config(config, "FAIL3", "log.dd", search) search += 1 return result
def run_config(config, search, bitcodefile, originalConfig, limit): print_config(config, "config_temp.json") result = transform.transform(bitcodefile, "config_temp.json") if result == 1: print "check VALID_config_" + str(search) + ".json for a valid config file" print_config(config, "VALID_config_" + bitcodefile + "_" + str(search) + ".json") print_diff(config, originalConfig, "diff_" + str(search) + ".cov") utilities.log_config(config, "VALID", "log.bf", search) elif result == 0: print "\tINVALID CONFIG" print_config(config, "INVALID_config_" + bitcodefile + "_" + str(search) + ".json") utilities.log_config(config, "INVALID", "log.bf", search) elif result == -1: print "\tFAIL TYPE 1" print_config(config, "FAIL1_config_" + bitcodefile + "_" + str(search) + ".json") utilities.log_config(config, "FAIL1", "log.bf", search) elif result == -2: print "\tFAIL TYPE 2" print_config(config, "FAIL2_config_" + bitcodefile + "_" + str(search) + ".json") utilities.log_config(config, "FAIL2", "log.bf", search) elif result == -3: print "\tFAIL TYPE 3" print_config(config, "FAIL3_config_" + bitcodefile + "_" + str(search) + ".json") utilities.log_config(config, "FAIL3", "log.bf", search) search += 1 if search > limit and limit != -1: sys.exit(0) return search
def run_config(config, search, bitcodefile, originalConfig, limit): print_config(config, "config_temp.json") result = transform.transform(bitcodefile, "config_temp.json") if result == 1: print "check VALID_config_" + str( search) + ".json for a valid config file" print_config( config, "VALID_config_" + bitcodefile + "_" + str(search) + ".json") print_diff(config, originalConfig, "diff_" + str(search) + ".cov") utilities.log_config(config, "VALID", "log.bf", search) elif result == 0: print "\tINVALID CONFIG" print_config( config, "INVALID_config_" + bitcodefile + "_" + str(search) + ".json") utilities.log_config(config, "INVALID", "log.bf", search) elif result == -1: print "\tFAIL TYPE 1" print_config( config, "FAIL1_config_" + bitcodefile + "_" + str(search) + ".json") utilities.log_config(config, "FAIL1", "log.bf", search) elif result == -2: print "\tFAIL TYPE 2" print_config( config, "FAIL2_config_" + bitcodefile + "_" + str(search) + ".json") utilities.log_config(config, "FAIL2", "log.bf", search) elif result == -3: print "\tFAIL TYPE 3" print_config( config, "FAIL3_config_" + bitcodefile + "_" + str(search) + ".json") utilities.log_config(config, "FAIL3", "log.bf", search) search += 1 if search > limit and limit != -1: sys.exit(0) return search
def run_config(config, bitcodeFile, searchConfig, originalConfig): global search utilities.print_config(config, "config_temp.json") result = transform.transform(bitcodeFile, "config_temp.json") if result == 1: utilities.print_config(config, "VALID_config_" + bitcodeFile + "_" + str(search) + ".json") utilities.log_config(config, "VALID", "log.dd", search) utilities.print_diff(searchConfig, originalConfig, "diff_" + bitcodeFile + "_" + str(search) + ".json") elif result == 0: utilities.print_config(config, "INVALID_config_" + bitcodeFile + "_" + str(search) + ".json") utilities.log_config(config, "INVALID", "log.dd", search) elif result == -1: utilities.print_config(config, "FAIL1_config_" + bitcodeFile + "_" + str(search) + ".json") utilities.log_config(config, "FAIL1", "log.dd", search) elif result == -2: utilities.print_config(config, "FAIL2_config_" + bitcodeFile + "_" + str(search) + ".json") utilities.log_config(config, "FAIL2", "log.dd", search) elif result == -3: utilities.print_config(config, "FAIL3_config_" + bitcodeFile + "_" + str(search) + ".json") utilities.log_config(config, "FAIL3", "log.dd", search) search += 1 return result
def run_config(search_config, original_config, bitcode): global search_counter utilities.print_config(search_config, "config_temp.json") result = transform_notime.transform(bitcode, "config_temp.json") if result == 1: utilities.print_config( search_config, "VALID_config_" + bitcode + "_" + str(search_counter) + ".json") utilities.log_config(search_config, "VALID", "log.dd", search_counter) utilities.print_diff( search_config, original_config, "dd2_diff_" + bitcode + "_" + str(search_counter) + ".json") elif result == 0: utilities.print_config( search_config, "INVALID_config_" + bitcode + "_" + str(search_counter) + ".json") utilities.log_config(search_config, "INVALID", "log.dd", search_counter) elif result == -1: utilities.print_config( search_config, "FAIL1_config_" + bitcode + "_" + str(search_counter) + ".json") utilities.log_config(search_config, "FAIL1", "log.dd", search_counter) elif result == -2: utilities.print_config( search_config, "FAIL2_config_" + bitcode + "_" + str(search_counter) + ".json") utilities.log_config(search_config, "FAIL2", "log.dd", search_counter) elif result == -3: utilities.print_config( search_config, "FAIL3_config_" + bitcode + "_" + str(search_counter) + ".json") utilities.log_config(search_config, "FAIL3", "log.dd", search_counter) else: utilities.print_config( search_config, "FAIL4_config_" + bitcode + "_" + str(search_counter) + ".json") utilities.log_config(search_config, "FAIL4", "log.dd", search_counter) search_counter += 1 return result
def run_config(search_config, original_config, bitcode, timeout): if False: fp = open('ivy.log', 'a') print >> fp, "run config:" print >> fp, "search_config:" print >> fp, search_config fp.close() global search_counter print "** Exploring configuration #" + str(search_counter) utilities.print_config(search_config, "config_temp.json") result = transform2.transform(bitcode, "config_temp.json", timeout) if result == 1: utilities.print_config( search_config, "VALID_config_" + bitcode + "_" + str(search_counter) + ".json") utilities.log_config(search_config, "VALID", "log.dd", search_counter) utilities.print_diff( search_config, original_config, "dd2_diff_" + bitcode + "_" + str(search_counter) + ".json") elif result == 0: utilities.print_config( search_config, "INVALID_config_" + bitcode + "_" + str(search_counter) + ".json") utilities.log_config(search_config, "INVALID", "log.dd", search_counter) elif result == -1: utilities.print_config( search_config, "FAIL1_config_" + bitcode + "_" + str(search_counter) + ".json") utilities.log_config(search_config, "FAIL1", "log.dd", search_counter) elif result == -2: utilities.print_config( search_config, "FAIL2_config_" + bitcode + "_" + str(search_counter) + ".json") utilities.log_config(search_config, "FAIL2", "log.dd", search_counter) elif result == -3: utilities.print_config( search_config, "FAIL3_config_" + bitcode + "_" + str(search_counter) + ".json") utilities.log_config(search_config, "FAIL3", "log.dd", search_counter) else: utilities.print_config( search_config, "FAIL4_config_" + bitcode + "_" + str(search_counter) + ".json") utilities.log_config(search_config, "FAIL4", "log.dd", search_counter) search_counter += 1 return result
def run_config(search_config, original_config, bitcode): global search_counter utilities.print_config(search_config, "config_temp.json") result = transform_notime.transform(bitcode, "config_temp.json") if result == 1: utilities.print_config(search_config, "VALID_config_" + bitcode + "_" + str(search_counter) + ".json") utilities.log_config(search_config, "VALID", "log.dd", search_counter) utilities.print_diff(search_config, original_config, "dd2_diff_" + bitcode + "_" + str(search_counter) + ".json") elif result == 0: utilities.print_config(search_config, "INVALID_config_" + bitcode + "_" + str(search_counter) + ".json") utilities.log_config(search_config, "INVALID", "log.dd", search_counter) elif result == -1: utilities.print_config(search_config, "FAIL1_config_" + bitcode + "_" + str(search_counter) + ".json") utilities.log_config(search_config, "FAIL1", "log.dd", search_counter) elif result == -2: utilities.print_config(search_config, "FAIL2_config_" + bitcode + "_" + str(search_counter) + ".json") utilities.log_config(search_config, "FAIL2", "log.dd", search_counter) elif result == -3: utilities.print_config(search_config, "FAIL3_config_" + bitcode + "_" + str(search_counter) + ".json") utilities.log_config(search_config, "FAIL3", "log.dd", search_counter) else: utilities.print_config(search_config, "FAIL4_config_" + bitcode + "_" + str(search_counter) + ".json") utilities.log_config(search_config, "FAIL4", "log.dd", search_counter) search_counter += 1 return result