Published October 6, 2021 | Version v1.0
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:1b3a19e74ba9b88477a92fe83f64858c
2.9 GB Download
md5:c8cea06424c7f85d8850e263cdd5c6cb
15.2 kB Preview Download

Additional details

Funding

MOPSA – Modular Open Platform for Static Analysis 681393
European Commission