Parameterized object sensitivity for points-to analysis for Java
Citations
526 citations
425 citations
Cites methods from "Parameterized object sensitivity fo..."
...For context-sensitivity, we use a hybrid approach that combines call-site sensitivity [30] and object-sensitivity [31]....
[...]
379 citations
315 citations
291 citations
Cites background or methods from "Parameterized object sensitivity fo..."
...1 lib Object-sensitive [21, 23] Sub X X 1-limited Naik [24] Sub X X 3-limited Current paper Sub X X X...
[...]
...It is difficult to compare our analysis with theirs directly, as their race detection client raises object-sensitive queries, which are in general incomparable with context-sensitive queries [23]....
[...]
...1H: a 1-limited object-sensitive analysis [23] (i....
[...]
...Algorithm Eq / Sub CS CG CS Heap Shown to Scale Zhu / Whaley [43, 46] Sub X Whaley [44] Sub Choi [7] Sub Fähndrich [9] Eq X X Rehof [27] Sub X Wilson [45] Sub X Cherem [6] Eq X Ruf [33] Eq X 1.1 lib Liang [22] Eq X Guyer [12] Sub X Lattner [17] Eq X X O Callahan [26] Eq X X Steensgaard (CS) [38] Eq X X X Wang [42] Sub X X 1.1 lib Object-sensitive [21, 23] Sub X X 1-limited Naik [24] Sub X X 3-limited Current paper Sub X X X scale to medium-sized programs....
[...]
...We compare extensively with the BDD-based 1-limited object-sensitive analysis of [21] in Section 6; object-sensitive analysis [23] analyzes methods separately based on the receiver object instead of using call strings, exploiting typical object-oriented code structure for greater precision and scalability....
[...]
References
8,437 citations
4,383 citations
1,154 citations
1,127 citations
1,009 citations