Cache behavior prediction by abstract interpretation