Heap Abstractions for Static Analysis

Vini Kanvar, Uday P. Khedker. Heap Abstractions for Static Analysis. ACM Computing Surveys, 49(2), 2016. [doi]

Abstract

Abstract is missing.