Unification-based Pointer Analysis without Oversharing

Jakub Kuderski, Jorge A. Navas, Arie Gurfinkel

Pointer analysis is indispensable for effectively verifying heap-manipulating programs. Even though it has been studied extensively, there are no publicly available pointer analyse…