'Scan through all statements and perform the following tasks:
- Find stack pointers and the VEX temporary variable storing stack pointers
- Selectively calculate VEX statements
- Track memory loading and mark stack and global variables accordingly
:param angr.Block block:
:return:'

def _process_block(self, state, block):

    l.debug('Processing    block    %#x.', block.addr)
    processor = BlockProcessor(state, block)
    processor.process()
