Add set_initial_taint_file interface