angr/analyses/identifier/identify.py
def make_symbolic_state(project, reg_list, stack_length=80):
        """
        converts an input state into a state with symbolic registers
        :return: the symbolic state
        """
        input_state = Identifier.make_initial_state(project, stack_length)
        symbolic_state = input_state.copy()
        # overwrite all registers
        for reg in reg_list:
            symbolic_state.registers.store(reg, symbolic_state.solver.BVS("sreg_" + reg + "-", project.arch.bits))
        # restore sp
        symbolic_state.regs.sp = input_state.regs.sp
        # restore bp
        symbolic_state.regs.bp = input_state.regs.bp
        return symbolic_state

        converts an input state into a state with symbolic registers
        :return: the symbolic state
        
converts an input state into a state with symbolic registers
converts an input state into a state with symbolic registers
def make_symbolic_state(project, reg_list, stack_length=80):
        input_state = Identifier.make_initial_state(project, stack_length)
        symbolic_state = input_state.copy()
        for reg in reg_list:
            symbolic_state.registers.store(reg, symbolic_state.solver.BVS("sreg_" + reg + "-", project.arch.bits))
        symbolic_state.regs.sp = input_state.regs.sp
        symbolic_state.regs.bp = input_state.regs.bp
        return symbolic_state
def make_symbolic_state ( project , reg_list , stack_length = 80 ) : input_state = Identifier . make_initial_state ( project , stack_length ) symbolic_state = input_state . copy ( ) for reg in reg_list : symbolic_state . registers . store ( reg , symbolic_state . solver . BVS ( "sreg_" + reg + "-" , project . arch . bits ) ) symbolic_state . regs . sp = input_state . regs . sp symbolic_state . regs . bp = input_state . regs . bp return symbolic_state
converts an input state into a state with symbolic registers
converts an input state into a state with symbolic registers
"""
        converts an input state into a state with symbolic registers
        :return: the symbolic state
        """ # overwrite all registers # restore sp # restore bp
the symbolic state
the symbolic state
project
reg_list
stack_length