""" Author: xoreaxeaxeax Modified by David Manouchehri <manouchehri@protonmail.com> Original at https://lists.cs.ucsb.edu/pipermail/angr/2016-August/000167.html The purpose of this example is to show how to use symbolic write addresses. """
import angr import claripy
defmain(): p = angr.Project('./issue', load_options={"auto_load_libs": False})
# By default, all symbolic write indices are concretized. state = p.factory.entry_state(add_options={angr.options.SYMBOLIC_WRITE_ADDRESSES})
u = claripy.BVS("u", 8) state.memory.store(0x804a021, u)