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

Tian Tan, Yue Li, Jingling Xue. Making k-Object-Sensitive Pointer Analysis More Precise with Still k-Limiting. In Xavier Rival, editor, Static Analysis - 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings. Volume 9837 of Lecture Notes in Computer Science, pages 489-510, Springer, 2016. [doi]

Authors

Tian Tan

This author has not been identified. Look up 'Tian Tan' in Google

Yue Li

This author has not been identified. Look up 'Yue Li' in Google

Jingling Xue

This author has not been identified. It may be one of the following persons: Look up 'Jingling Xue' in Google