A byte-array of all memory addresses and their byte values as a python Bitvector
- Use array[index] to specify a specific address
- use .<type> to specify which Python Datatypes the memory should be interpreted as
Modifying Memory
state.mem[0x1000].long = 4
print(state.mem[0x1000].long.resolved) #<BV64 0x4>Attributes
mem[addr].type.resolved
returns the memory value as a Bitvector
mem[addr].type.concrete
returns the memory value as a python int