Source code for angr.storage.memory_mixins.dirty_addrs_mixin from . import MemoryMixin [docs]class DirtyAddrsMixin(MemoryMixin): [docs] def store(self, addr, data, size=None, **kwargs): assert type(size) is int if self.category == "mem": self.state.scratch.dirty_addrs.update(range(addr, addr + size)) super().store(addr, data, size=size, **kwargs)