ECOOP 2018
Sun 15 - Sat 21 July 2018 Amsterdam, Netherlands
co-located with ECOOP and ISSTA 2018
Sat 21 Jul 2018 12:15 - 12:40 at Zurich II - Static Analysis Chair(s): Karim Ali

Static analyses for reflection and other dynamic language features have recently increased in number and advanced in sophistication. Most such analyses rely on a whole-program model of the flow of strings, through the stack and heap. We show that this global modeling of strings remains a major bottleneck of static analyses and propose a compact encoding, in order to battle unnecessary complexity. In our encoding, strings are maximally merged if they can never serve to differentiate class members in reflection operations. We formulate the problem as an instance of graph coloring and propose a fast polynomial-time algorithm that exploits the unique features of the setting (esp. large cliques, leading to hundreds of colors for realistic programs). The encoding is applied to two different frameworks for string-guided Java reflection analysis from past literature and leads to significant optimization (e.g., a ∼ 2x reduction in the number of string-flow inferences), for a whole-program points-to analysis that uses strings.

Sat 21 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:40
Static AnalysisECOOP Research Papers at Zurich II
Chair(s): Karim Ali University of Alberta
11:00
25m
Research paper
Defensive Points-To Analysis: Effective Soundness via LazinessDistinguished Paper
ECOOP Research Papers
Yannis Smaragdakis University of Athens, George Kastrinis University of Athens
DOI
11:25
25m
Research paper
Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates
ECOOP Research Papers
John Toman University of Washington, Seattle, Dan Grossman University of Washington
DOI Pre-print
11:50
25m
Research paper
Definite Reference Mutability
ECOOP Research Papers
Ana Milanova Rensselaer Polytechnic Institute
DOI
12:15
25m
Research paper
Efficient Reflection String Analysis via Graph Coloring
ECOOP Research Papers
Neville Grech University of Athens, George Kastrinis University of Athens, Yannis Smaragdakis University of Athens
DOI