Valve: Heap Abstraction via Early-Confluent Object Merging for Pointer Analysis
Date:
This talk presents Valve, a heap abstraction approach that identifies and merges early-confluent objects to improve the efficiency of pointer analysis while preserving precision.