Static Type Analysis by Abstract Interpretation of Python Programs
This is the artifact accompanying ECOOP’s research paper “Static Type Analysis by Abstract Interpretation of Python Programs”.
This artifact consists in a virtualbox image, containing: - the static analyzer presented in the paper, based on the Mopsa static analysis framework, - as well as the other analyzers we compare with (a tool by Fritz and Hage, Pytype, Typpete, a tool by Fromherz et al., RPython), - the programs used in the experimental evaluation of the paper, - a Python script helping to reproduce the main table presented in the experimental evaluation of the paper (Fig. 13).
All analyzers have been compiled and installed; they are ready to be run.