Optimize Context-Sensitive Andersen-Style Points-To Analysis by Method Summarization and Cycle-Elimination.

Qian Li, Jianhua Zhao, Xuandong Li

Browse the full ISoLA paper archive.