Making k-Object-Sensitive Pointer Analysis More Precise with Still k-Limiting.

Tian Tan, Yue Li, Jingling Xue

Browse the full SAS paper archive.