(self, varnode: Varnode, value: BV)
Store a value for a given varnode.

        This method stores to the appropriate register, or unique space,
        depending on the space indicated by the varnode.

        :param varnode: Varnode to store into.
        :param value:   Value to store.
Store a value for a given varnode.
Store a value for a given varnode .
def _set_value(self, varnode: Varnode, value: BV) -> None:
        """
        Store a value for a given varnode.

        This method stores to the appropriate register, or unique space,
        depending on the space indicated by the varnode.

        :param varnode: Varnode to store into.
        :param value:   Value to store.
        """
        space_name = varnode.space.name

        # FIXME: Consider moving into behavior.py
        value = self._adjust_value_size(varnode.size*8, value)
        assert varnode.size*8 == value.size()

        l.debug("Storing %s %x %s %d", space_name, varnode.offset, value, varnode.size)
        if space_name == "register":
            self.state.registers.store(
                self._map_register_name(varnode), value, size=varnode.size
            )

        elif space_name == "unique":
            self._pcode_tmps[varnode.offset] = value

        elif space_name in ("ram", "mem"):
            l.debug("Storing %s to offset %s", value, varnode.offset)
            self.state.memory.store(varnode.offset, value, endness=self.project.arch.memory_endness)

        else:
            raise NotImplementedError()
def _set_value ( self , varnode : Varnode , value : BV ) -> None : space_name = varnode . space . name # FIXME: Consider moving into behavior.py value = self . _adjust_value_size ( varnode . size * 8 , value ) assert varnode . size * 8 == value . size ( ) l . debug ( "Storing %s %x %s %d" , space_name , varnode . offset , value , varnode . size ) if space_name == "register" : self . state . registers . store ( self . _map_register_name ( varnode ) , value , size = varnode . size ) elif space_name == "unique" : self . _pcode_tmps [ varnode . offset ] = value elif space_name in ( "ram" , "mem" ) : l . debug ( "Storing %s to offset %s" , value , varnode . offset ) self . state . memory . store ( varnode . offset , value , endness = self . project . arch . memory_endness ) else : raise NotImplementedError ( )