Method set_user_var_value

python/function.py:2908–2949

`set_user_var_value` allows the user to specify a PossibleValueSet value for an MLIL variable at its \ definition site. .. warning:: Setting the variable value, triggers a reanalysis of the function and allows the dataflow \ to compute and propagate values which depend on the current varia

(self, var: 'variable.Variable', def_addr: int, value: 'variable.PossibleValueSet', after: bool = True)

		core.BNClearForcedVariableVersion(self.handle, var.to_BNVariable(), def_site)

	def set_user_var_value(self, var: 'variable.Variable', def_addr: int, value: 'variable.PossibleValueSet', after: bool = True) -> None:
		"""
		`set_user_var_value` allows the user to specify a PossibleValueSet value for an MLIL variable at its \
		definition site.

		.. warning:: Setting the variable value, triggers a reanalysis of the function and allows the dataflow \
		to compute and propagate values which depend on the current variable. This implies that branch conditions \
		whose values can be determined statically will be computed, leading to potential branch elimination at \
		the HLIL layer.

		:param Variable var: Variable for which the value is to be set
		:param int def_addr: Address where the variable is set
		:param PossibleValueSet value: Informed value of the variable
		:param bool after: Whether the value happens before or after the instruction
		:rtype: None

		:Example:

			>>> mlil_var = current_mlil[0].operands[0]
			>>> def_address = 0x40108d
			>>> var_value = PossibleValueSet.constant(5)
			>>> current_function.set_user_var_value(mlil_var, def_address, var_value)
		"""
		#if var.index == 0:
		#	# Special case: function parameters have index 0 and are defined at the start of the function
		#	def_addr = self.start
		#else:
		#	var_defs = self.mlil.get_var_definitions(var)
		#	if var_defs is None:
		#		raise ValueError("Could not get definition for Variable")
		#	found = False
		#	for site in var_defs:
		#		if site.address == def_addr:
		#			found = True
		#			break
		#	if not found:
		#		raise ValueError("No definition for Variable found at given address")
		def_site = core.BNArchitectureAndAddress()
		def_site.arch = self.arch.handle
		def_site.address = def_addr

		core.BNSetUserVariableValue(self.handle, var.to_BNVariable(), def_site, after, value._to_core_struct())

	def clear_user_var_value(self, var: 'variable.Variable', def_addr: int, after: bool = True) -> None:
		"""