ECOOP 2020
Sun 15 - Tue 17 November 2020 Online Conference
co-located with SPLASH 2020
Sun 15 Nov 2020 11:40 - 12:00 at SPLASH-I - S-3 Chair(s): Anitha Gollamudi, Carl Friedrich Bolz-Tereick
Sun 15 Nov 2020 23:40 - 00:00 at SPLASH-I - S-3 Chair(s): Elisa Gonzalez Boix, Atsushi Igarashi

In static analysis of modern JavaScript libraries, relational analysis at key locations is critical to provide sound and useful results. Prior work addresses this challenge by the use of various forms of trace partitioning and syntactic patterns, which is fragile and does not scale well, or by incorporating complex backwards analysis.

In this paper, we propose a new lightweight variant of trace partitioning named value partitioning that refines individual abstract values instead of entire abstract states. We describe how this approach can effectively capture important relational properties involving dynamic property accesses, functions with free variables, and predicate functions.

We extend an existing JavaScript analyzer with value partitioning and demonstrate experimentally that it is a simple, precise, and efficient alternative to the existing approaches for analyzing widely used JavaScript libraries.

Conference Day
Sun 15 Nov

Displayed time zone: Central Time (US & Canada) change

11:00 - 12:20
11:00
20m
Talk
Flow-Sensitive Type-Based Heap Cloning
Research Papers
Mohamad BarbarUniversity of Technology, Sydney, Yulei SuiUniversity of Technology Sydney, Shiping ChenData61 at CSIRO, Australia / UNSW, Australia
Link to publication DOI Media Attached
11:20
20m
Talk
Sound regular corecursion in coFJ
Research Papers
Davide AnconaDIBRIS, University of Genova, Italy, Pietro BarbieriUniversità di Genova, Francesco DagninoDIBRIS, University of Genova, Italy, Elena ZuccaUniversity of Genova
Link to publication DOI Media Attached
11:40
20m
Talk
Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript
Research Papers
Benjamin Barslev NielsenAarhus University, Anders MøllerAarhus University
Link to publication DOI Pre-print Media Attached
12:00
20m
Talk
Row and Bounded Polymorphism via Disjoint Polymorphism
Research Papers
Ningning XieThe University of Hong Kong, Bruno C. d. S. OliveiraUniversity of Hong Kong, Xuan BiThe University of Hong Kong, Tom SchrijversKU Leuven
Link to publication DOI Media Attached
23:00 - 00:20
S-3Research Papers at SPLASH-I
Chair(s): Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium, Atsushi IgarashiKyoto University, Japan
23:00
20m
Talk
Flow-Sensitive Type-Based Heap Cloning
Research Papers
Mohamad BarbarUniversity of Technology, Sydney, Yulei SuiUniversity of Technology Sydney, Shiping ChenData61 at CSIRO, Australia / UNSW, Australia
Link to publication DOI Media Attached
23:20
20m
Talk
Sound regular corecursion in coFJ
Research Papers
Davide AnconaDIBRIS, University of Genova, Italy, Pietro BarbieriUniversità di Genova, Francesco DagninoDIBRIS, University of Genova, Italy, Elena ZuccaUniversity of Genova
Link to publication DOI Media Attached
23:40
20m
Talk
Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript
Research Papers
Benjamin Barslev NielsenAarhus University, Anders MøllerAarhus University
Link to publication DOI Pre-print Media Attached
00:00
20m
Talk
Row and Bounded Polymorphism via Disjoint Polymorphism
Research Papers
Ningning XieThe University of Hong Kong, Bruno C. d. S. OliveiraUniversity of Hong Kong, Xuan BiThe University of Hong Kong, Tom SchrijversKU Leuven
Link to publication DOI Media Attached