Pointersmayhavealiases.becausealiasanalysismayonlybeapproximateinthepres-Enceofpointerarithmetic published presentations and documents on DocSlides.