Region-based selective flowsensitive pointer analysis. (2014)

by Sen Ye, Yulei Sui, Jingling Xue
Venue:In SAS,