ECOOP 2020
Sun 15 - Tue 17 November 2020 Online Conference
co-located with SPLASH 2020
Mon 16 Nov 2020 02:00 - 02:20 at SPLASH-I - S-4 Chair(s): Atsushi Igarashi, Elisa Gonzalez Boix
Sun 15 Nov 2020 14:00 - 14:20 at SPLASH-I - S-4 Chair(s): Karim Ali, Eli Tilevich

Python is an increasingly popular dynamic programming language, particularly used in the scientific community and well-known for its powerful and permissive high-level syntax. Our work aims at detecting statically and automatically type errors. As these type errors are exceptions that can be caught later on, we precisely track all exceptions (raised or caught). We designed a static analysis by abstract interpretation able to infer the possible types of variables, taking into account the full control-flow. It handles both typing paradigms used in Python, nominal and structural, supports Python’s object model, introspection operators allowing dynamic type testing, dynamic attribute addition, as well as exception handling. We present a flow- and context-sensitive analysis with special domains to support containers (such as lists) and infer type equalities (allowing it to express parametric polymorphism). The analysis is soundly derived by abstract interpretation from a concrete semantics of Python developed by Fromherz et al. Our analysis is designed in a modular way as a set of domains abstracting a concrete collecting semantics. It has been implemented into the MOPSA analysis framework, and leverages external type annotations from the Typeshed project to support the vast standard library. We show that it scales to benchmarks a few thousand lines long, and preliminary results show it is able to analyze a small real-life command-line utility called PathPicker. Compared to previous work, it is sound, while it keeps similar efficiency and precision.

Slides (talk.pdf)692KiB

Sun 15 Nov
Times are displayed in time zone: Central Time (US & Canada) change

13:00 - 14:20: S-4Research Papers at SPLASH-I +12h
Chair(s): Karim AliUniversity of Alberta, Eli TilevichVirginia Tech
13:00 - 13:20
Talk
Research Papers
Liyi LiUniversity of Illinois at Urbana-Champaign, Elsa GunterUniversity of Illinois
Link to publication DOI Media Attached
13:20 - 13:40
Talk
Research Papers
Xuejing HuangThe University of Hong Kong, Bruno C. d. S. OliveiraUniversity of Hong Kong
Link to publication DOI Media Attached
13:40 - 14:00
Talk
Research Papers
Davide AnconaDIBRIS, University of Genova, Italy, Francesco DagninoDIBRIS, University of Genova, Italy, Jurriaan RotRadboud University Nijmegen, Elena ZuccaUniversity of Genova
Link to publication DOI Media Attached
14:00 - 14:20
Talk
Research Papers
Raphaël MonatSorbonne Université — LIP6, Abdelraouf OuadjaoutSorbonne Université, Antoine MinéSorbonne Université
Link to publication DOI Media Attached File Attached

Mon 16 Nov
Times are displayed in time zone: Central Time (US & Canada) change

01:00 - 02:20: S-4Research Papers at SPLASH-I
Chair(s): Atsushi IgarashiKyoto University, Japan, Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium
01:00 - 01:20
Talk
Research Papers
Liyi LiUniversity of Illinois at Urbana-Champaign, Elsa GunterUniversity of Illinois
Link to publication DOI Media Attached
01:20 - 01:40
Talk
Research Papers
Xuejing HuangThe University of Hong Kong, Bruno C. d. S. OliveiraUniversity of Hong Kong
Link to publication DOI Media Attached
01:40 - 02:00
Talk
Research Papers
Davide AnconaDIBRIS, University of Genova, Italy, Francesco DagninoDIBRIS, University of Genova, Italy, Jurriaan RotRadboud University Nijmegen, Elena ZuccaUniversity of Genova
Link to publication DOI Media Attached
02:00 - 02:20
Talk
Research Papers
Raphaël MonatSorbonne Université — LIP6, Abdelraouf OuadjaoutSorbonne Université, Antoine MinéSorbonne Université
Link to publication DOI Media Attached File Attached