Combining String Analysis and Size Analysis -- Iterating Octagons -- Verifying Reference