Yu-Fei Liang

Heap Abstraction via Early-Confluent Object Merging for Pointer Analysis

Heap abstraction critically affects both the efficiency and precision of pointer analysis for Java programs. By merging heap objects allocated at different program points, heap abstractions can significantly improve analysis efficiency, but often at the cost of precision. Mahjong, a state-of-the-art heap abstraction ba...