Software Open Access

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

Raphaël Monat

Thesis supervisor(s)

Antoine Miné

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

Files (2.9 GB)
Name Size
phd_artifact_monat.tar
md5:1b3a19e74ba9b88477a92fe83f64858c
2.9 GB Download
README.md
md5:c8cea06424c7f85d8850e263cdd5c6cb
15.2 kB Download
99
22
views
downloads
All versions This version
Views 9983
Downloads 2214
Data volume 23.0 GB14.4 GB
Unique views 9278
Unique downloads 148

Share

Cite as