angr.storage.memory_mixins.convenient_mappings_mixin

class angr.storage.memory_mixins.convenient_mappings_mixin.ConvenientMappingsMixin

Bases: MemoryMixin

Implements mappings between names and hashes of symbolic variables and these variables themselves.

__init__(**kwargs)
store(addr, data, size=None, **kwargs)
get_symbolic_addrs()
addrs_for_name(n)

Returns addresses that contain expressions that contain a variable named n.

addrs_for_hash(h)

Returns addresses that contain expressions that contain a variable with the hash of h.

replace_all(old, new)

Replaces all instances of expression old with expression new.

Parameters:

  • old (BV) – A claripy expression. Must contain at least one named variable (to make it possible to use the name index for speedup).

  • new (BV) – The new variable to replace it with.