BCHMemoryReferenceval memory_base_to_pretty : BCHLibTypes.memory_base_t -> CHPretty.pretty_tval memory_offset_to_pretty : BCHLibTypes.memory_offset_t -> CHPretty.pretty_tval memory_offset_to_string : BCHLibTypes.memory_offset_t -> stringval stack_offset_to_name : BCHLibTypes.memory_offset_t -> stringval realigned_stack_offset_to_name : BCHLibTypes.memory_offset_t -> stringval global_offset_to_name : int -> BCHLibTypes.memory_offset_t -> stringval memory_offset_compare :
BCHLibTypes.memory_offset_t ->
BCHLibTypes.memory_offset_t ->
intval mk_maximal_memory_offset :
CHNumerical.numerical_t ->
BCHBCTypes.btype_t ->
BCHLibTypes.memory_offset_tval add_offset :
BCHLibTypes.memory_offset_t ->
BCHLibTypes.memory_offset_t ->
BCHLibTypes.memory_offset_tval address_memory_offset :
?tgtsize:int option ->
?tgtbtype:BCHBCTypes.btype_t ->
BCHBCTypes.btype_t ->
XprTypes.xpr_t ->
BCHLibTypes.memory_offset_t CHTraceResult.traceresultaddress_memory_offset tgtsize tgttype ty offset returns the symbolic offset that corresponds with the numerical offset offset for a base variable with type ty. The optional arguments tgtsize and tgttype can be used to disambiguate between for example an entire struct or only its first field.
An error is returned if the the symbolic offset cannot be constructed.
val is_constant_offset : BCHLibTypes.memory_offset_t -> boolReturns true if memoff consists entirely of constant (numerical) values.
val is_field_offset : BCHLibTypes.memory_offset_t -> boolReturns true if memoff itself or one of its suboffsets is a field offset.
val is_index_offset : BCHLibTypes.memory_offset_t -> boolReturns true if memoff itself or one of its suboffsets is an index offset.
val is_base_ptr_array_index_offset : BCHLibTypes.memory_offset_t -> boolval is_unknown_offset : BCHLibTypes.memory_offset_t -> boolReturns true if memoff itself or one of its suboffsets is an unknown offset.
val get_constant_offsets :
BCHLibTypes.memory_offset_t ->
CHNumerical.numerical_t list CHTraceResult.traceresultReturns a list of numerical offset and suboffsets.
Returns an Error if memoff is not a constant_offset.
val get_total_constant_offset :
BCHLibTypes.memory_offset_t ->
CHNumerical.numerical_t CHTraceResult.traceresultReturns the sum of all numerical offsets in memoff.
Returns an Error if not all offsets are constant.
val get_index_offset_variables :
BCHLibTypes.memory_offset_t ->
CHLanguage.variable_t listReturns the list of index variables in memoff (including suboffsets. Returns the empty list if memoff is not an index offset.
val boffset_to_memory_offset :
BCHBCTypes.boffset_t ->
BCHLibTypes.memory_offset_t CHTraceResult.traceresultval make_memory_reference_manager :
BCHLibTypes.vardictionary_int ->
BCHLibTypes.memory_reference_manager_int