Refinement-based context-sensitive points-to analysis for Java

By Manu Sridharan, Rastislav Bodík. ACM-SIGPLAN Symposium on Programming Language Design and Implementation, 2006

339 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

Pick your contexts well: understanding object-sensitivity (2011, background): “, [5, 8, 10, 20], among many) maintain the fundamental premise of using allocation sites as context elements, yet differ in which allocation sites are used.”
Systematic Detection of Capability Leaks in Stock Android Smartphones (2012, background): “For example, other than tightening the underlying implementation and incorporating latest development of accurate, scalable points-to analysis [8, 34, 35], our current prototype now handles only Dalvik bytecode and needs to be extended to accommodate native code.”
A user-guided approach to program analysis (2015, methodology): “The datarace analysis is from [30], while the polysite analysis has been used in previous works [22,42,45] to evaluate pointer analyses.”
TAJ: effective taint analysis of web applications (2009, methodology): “Our direct edges from stores to loads correspond to match edges in RBPA.”