Making k-Object-Sensitive Pointer Analysis More Precise with Still k-Limiting Tian Tan,Yue Li and Jingling Xue SAS 2016 UNSW September,2016 ALSTRAMaking k-Object-Sensitive Pointer Analysis More Precise with Still k-Limiting Tian Tan, Yue Li and Jingling Xue SAS 2016 September, 2016 1