angr/storage/paged_memory.py
def flush_pages(self, white_list):
        """
        Flush all pages not included in the `white_list` by removing their pages. Note, this will not wipe them
        from memory if they were backed by a memory_backer, it will simply reset them to their initial state.
        Returns the list of pages that were cleared consisting of `(addr, length)` tuples.

        :param white_list: white list of regions in the form of (start, end) to exclude from the flush
        :return: a list of memory page ranges that were flushed
        :rtype: list
        """
        white_list_page_number = []

        for addr in white_list:
            for page_addr in range(addr[0], addr[1], self._page_size):
                white_list_page_number.append(self._page_id(page_addr))

        new_page_dict = {}

        flushed = []
        # cycle over all the keys ( the page number )
        for page in self._pages:
            if page in white_list_page_number:
                # l.debug("Page " + str(page) + " not flushed!")
                new_page_dict[page] = self._pages[page]
            else:
                p = self._pages[page]
                flushed.append((p._page_addr, p._page_size))

        self._pages = new_page_dict
        self._initialized = set()
        return flushed

        Flush all pages not included in the `white_list` by removing their pages. Note, this will not wipe them
        from memory if they were backed by a memory_backer, it will simply reset them to their initial state.
        Returns the list of pages that were cleared consisting of `(addr, length)` tuples.

        :param white_list: white list of regions in the form of (start, end) to exclude from the flush
        :return: a list of memory page ranges that were flushed
        :rtype: list
        
Flush all pages not included in the `white_list` by removing their pages. Note, this will not wipe them
from memory if they were backed by a memory_backer, it will simply reset them to their initial state.
Returns the list of pages that were cleared consisting of `(addr, length)` tuples.
Flush all pages not included in the ` white_list ` by removing their pages . Note this will not wipe them from memory if they were backed by a memory_backer it will simply reset them to their initial state . Returns the list of pages that were cleared consisting of ` ( addr length ) ` tuples .
def flush_pages(self, white_list):
        white_list_page_number = []
        for addr in white_list:
            for page_addr in range(addr[0], addr[1], self._page_size):
                white_list_page_number.append(self._page_id(page_addr))
        new_page_dict = {}
        flushed = []
        for page in self._pages:
            if page in white_list_page_number:
                new_page_dict[page] = self._pages[page]
            else:
                p = self._pages[page]
                flushed.append((p._page_addr, p._page_size))
        self._pages = new_page_dict
        self._initialized = set()
        return flushed
def flush_pages ( self , white_list ) : white_list_page_number = [ ] for addr in white_list : for page_addr in range ( addr [ 0 ] , addr [ 1 ] , self . _page_size ) : white_list_page_number . append ( self . _page_id ( page_addr ) ) new_page_dict = { } flushed = [ ] for page in self . _pages : if page in white_list_page_number : new_page_dict [ page ] = self . _pages [ page ] else : p = self . _pages [ page ] flushed . append ( ( p . _page_addr , p . _page_size ) ) self . _pages = new_page_dict self . _initialized = set ( ) return flushed
Flush all pages not included in the `white_list` by removing their pages.
Flush all pages not included in the ` white_list ` by removing their pages .
"""
        Flush all pages not included in the `white_list` by removing their pages. Note, this will not wipe them
        from memory if they were backed by a memory_backer, it will simply reset them to their initial state.
        Returns the list of pages that were cleared consisting of `(addr, length)` tuples.

        :param white_list: white list of regions in the form of (start, end) to exclude from the flush
        :return: a list of memory page ranges that were flushed
        :rtype: list
        """ # cycle over all the keys ( the page number ) # l.debug("Page " + str(page) + " not flushed!")
a list of memory page ranges that were flushed
a list of memory page ranges that were flushed
list
self
white_list
white list of regions in the form of (start, end) to exclude from the flush
white list of regions in the form of ( start end ) to exclude from the flush