On the Complexity of Partially-Flow-Sensitive Alias Analysis

Noam Rinetzky, Ganesan Ramalingam, Mooly Sagiv, and Eran Yahav

Details

Publication typeInproceedings
Published inACM Transactions on Programming Languages and Systems
PublisherAssociation for Computing Machinery, Inc.
> Publications > On the Complexity of Partially-Flow-Sensitive Alias Analysis