Selective Context-Sensitivity for k-CFA with CFL-Reachability.

Jingbo Lu, Dongjie He, Jingling Xue

Browse the full SAS paper archive.