Region-Based Selective Flow-Sensitive Pointer Analysis.

Sen Ye, Yulei Sui, Jingling Xue

Browse the full SAS paper archive.