There is a newer version of the record available.

Published September 15, 2021 | Version v1.0~pre1
Software Open

Static Type and Value Analysis by Abstract Interpretation of Python Programs with Native C Libraries (Artifact)

  • 1. LIP6, Sorbonne Université & CNRS

Contributors

Supervisor:

  • 1. LIP6, Sorbonne Université & CNRS

Description

Artifact accompanying the PhD manuscript "Static Type and Value Analysis by Abstract Interpretation of Python Programs with Native C Libraries".

Files

README.md

Files (2.9 GB)

Name Size Download all
md5:3eb6798a30b3eea9be854908096bacb5
2.9 GB Download
md5:fed0d19cb32207853b9c50d8c3c10bea
12.1 kB Preview Download

Additional details

Funding

MOPSA – Modular Open Platform for Static Analysis 681393
European Commission