Thu 29 Oct 2015 16:18 - 16:42 at Grand Station 1 - 8. Static Analysis Chair(s): Werner Dietl

Computing a precise points-to analysis for very large Java programs remains challenging despite the large body of research on points-to analysis. Any approach must solve an underlying dynamic graph reachability problem, for which the best algorithms have near-cubic worst-case runtime complexity, and, hence, previous work does not scale to programs with millions of lines of code. In this work, we present a novel approach for solving the field-sensitive points-to problem for Java with the means of (1) a transitive-closure data-structure, and (2) a pre-computed set of potentially matching load/store pairs to accelerate the fix-point calculation. Experimentation on Java benchmarks validates the superior performance of our approach over the standard context-free language reachability implementations. Our approach computes a points-to index for the OpenJDK with over 1.5 billion tuples in under a minute.

Thu 29 Oct

oopsla2015
15:30 - 17:30: OOPSLA - 8. Static Analysis at Grand Station 1
Chair(s): Werner DietlUniversity of Waterloo
oopsla201515:30 - 15:54
Talk
Magnus MadsenUniversity of Waterloo, Frank TipSamsung Research America, Ondřej LhotákUniversity of Waterloo
DOI Media Attached
oopsla201515:54 - 16:18
Talk
Yu FengUniversity of Texas at Austin, USA, Xinyu WangUT Austin, Isil DilligUniversity of Texas at Austin, USA, Calvin LinUniversity of Texas at Austin, USA
Pre-print Media Attached
oopsla201516:18 - 16:42
Talk
Jens DietrichMassey University, New Zealand, Nicholas HollingumUniversity of Sydney, Australia, Bernhard ScholzOracle Labs, Australia
DOI Media Attached
oopsla201516:42 - 17:06
Talk
David DaraisUniversity of Maryland, College Park, Matthew MightUniversity of Utah, USA, David Van HornUniversity of Maryland at College Park, USA
DOI Media Attached
oopsla201517:06 - 17:30
Talk
Hakjoo OhKorea University, South Korea, Hongseok YangUniversity of Oxford, UK, Kwangkeun YiSeoul National University, South Korea
DOI Media Attached