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)