'converts an input state into a state with symbolic registers
:return: the symbolic state'

@staticmethod
def _make_regs_symbolic(input_state, reg_list, project):

    state = input_state.copy()
    for reg in reg_list:
        state.registers.store(reg, state.se.BVS((('sreg_' + reg) + '-'), project.arch.bits, explicit_name=True))
    state.regs.sp = input_state.regs.sp
    state.regs.bp = input_state.regs.bp
    return state
