(self)
Sets the symbolizer to symbolize pointers to all pages as they are written to memory..
Sets the symbolizer to symbolize pointers to all pages as they are written to memory..
Sets the symbolizer to symbolize pointers to all pages as they are written to memory ..
def set_symbolization_for_all_pages(self):
        """
        Sets the symbolizer to symbolize pointers to all pages as they are written to memory..
        """
        self._symbolize_all = True
        self.symbolization_target_pages.update(set(self.state.memory._pages.keys()))
        self._update_ranges()
def set_symbolization_for_all_pages ( self ) : self . _symbolize_all = True self . symbolization_target_pages . update ( set ( self . state . memory . _pages . keys ( ) ) ) self . _update_ranges ( )