ECOOP 2025
Mon 30 June - Fri 4 July 2025 Bergen, Norway
Wed 2 Jul 2025 14:42 - 15:03 at Auditorium M003 - W2 Chair(s): Hila Peleg

As Python is increasingly being adopted for large and complex programs, the importance of static analysis for Python (such as type inference) grows. Unfortunately, static analysis for Python remains a challenging task due to its dynamic language features and its abundant external libraries. To help fill this gap, this paper presents PoTo, an Andersen-style context-insensitive and flow-insensitive points-to analysis for Python. PoTo addresses Python-specific challenges and works for large programs via a novel hybrid evaluation, integrating traditional static points-to analysis with concrete evaluation in the Python interpreter for external library calls. We evaluate the analysis with two clients: type inference and call graph construction. The paper presents PoTo+, a static type inference for Python built on the points-to analysis. We evaluate PoTo+ and compare it to two state-of-the-art Python type inference techniques: (1) the static rule-based Pytype and (2) the deep-learning based DLInfer. Our results show that PoTo+ outperforms both Pytype and DLInfer on existing Python packages. We also compare PoTo with PyCG, the state-of-the-art call graph construction analysis for Python, and show that PoTo produces more complete and more precise call graphs.

Wed 2 Jul

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

14:00 - 15:45
14:00
21m
Talk
Event Race Detection for Node.js Using Delay Injections
Technical Papers
Andre Takeshi Endo Federal University of São Carlos, Anders Møller Aarhus University
Pre-print
14:21
21m
Talk
FuzzFlesh: Randomised Testing of Decompilers Via Control Flow Graph-based Program GenerationRemote
Technical Papers
Amber Gorzynski Imperial College London, Alastair F. Donaldson Imperial College London
14:42
21m
Talk
PoTo: A Hybrid Andersen's Points-to Analysis for Python
Technical Papers
Ingkarat Rak-amnouykit Rensselaer Polytechnic Institute, Ana Milanova Rensselaer Polytechnic Institute, Guillaume Baudart Inria, Martin Hirzel IBM Research, Julian Dolby IBM Research
15:03
21m
Talk
Wastrumentation: Portable WebAssembly Dynamic Analysis with Support for Intercession
Technical Papers
Aäron Munsters Vrije Universiteit Brussel, Angel Luis Scull Pupo Sofware Languages Lab, Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit Brussel
15:24
21m
Talk
WebGlitch: A Randomised Testing Tool for the WebGPU API
Technical Papers
:
:
:
: