Jingbo Lu Dongjie He Jingling Xue
SeleCTX is a static acceleration tool for pointer analysis. This work is introduced in our SAS'21 paper titled "Selective Context-Sensitivity for k-CFA with CFL-Reachability".