binaryninja.function.PossibleValueSet

class PossibleValueSet(arch=None, value=None)[source]

class PossibleValueSet PossibleValueSet is used to define possible values that a variable can take. It contains methods to instantiate different value sets such as Constant, Signed/Unsigned Ranges, etc.

__init__(arch=None, value=None)[source]

Initialize self. See help(type(self)) for accurate signature.

Methods

__init__([arch, value])

Initialize self.

constant(value)

Create a constant valued PossibleValueSet object.

constant_ptr(value)

Create constant pointer valued PossibleValueSet object.

in_set_of_values(values)

Create a PossibleValueSet object for a value in a set of values.

lookup_table_value(lookup_table, mapping)

Create a PossibleValueSet object for a value which is a member of a lookuptable.

not_in_set_of_values(values)

Create a PossibleValueSet object for a value NOT in a set of values.

signed_range_value(ranges)

Create a PossibleValueSet object for a signed range of values.

stack_frame_offset(offset)

Create a PossibleValueSet object for a stack frame offset.

undetermined()

Create a PossibleValueSet object of type UndeterminedValue.

unsigned_range_value(ranges)

Create a PossibleValueSet object for a unsigned signed range of values.

Attributes

count

mapping

offset

ranges

reg

table

type

value

values