Parameterized object sensitivity for points-to analysis for Java

By Ana L. Milanova, A. Rountev, B. Ryder. TSEM, 2005

493 citations recorded by the source corpus.

View Paper: https://www.semanticscholar.org/paper/bf282bde125874987f29363b486a429f41f15c4a

How researchers see this paper

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

Citations in the corpus

A user-guided approach to program analysis (2015, methodology): “Specifically, we used k-object-sensitive versions [28] with cloning depth k=4.”
Pick your contexts well: understanding object-sensitivity (2011, background): “The original definition of object-sensitivity (see [13], Fig.”
An empirical study on the evolution of design patterns (2007, methodology): “This quickly provides a superset of possible dependencies from/to the pattern, although more precise approaches can be used to refine the dependency set [19].”
TAJ: effective taint analysis of web applications (2009, methodology): “Most methods are analyzed with one level of object sensitivity [18; 22], in which the context of a method invocation consists of the invoked method and the object abstraction representing the receiver.”
Strictly declarative specification of sophisticated points-to analyses (2009, background): “Milanova suggested that an object-sensitive analysis [20] is an effective context abstraction for objectoriented programs, which was confirmed by Lhoták’s extensive evaluation [18].”
Apposcopy: semantics-based detection of Android malware through static analysis (2014, methodology): “For context-sensitivity, we use a hybrid approach that combines call-site sensitivity [30] and object-sensitivity [31].”
Refinement-based context-sensitive points-to analysis for Java (2006, unknown): “1 lib Object-sensitive [21, 23] Sub X X 1-limited Naik [24] Sub X X 3-limited Current paper Sub X X X”