'Normalize `addr` for use in static analysis (with the abstract memory model). In non-abstract mode, simply
returns the address in a single-element list.'

def normalize_address(self, addr, is_write=False):

    return [addr]
