Software Open Access
A Multilanguage Static Analysis of Python Programs with Native C Extensions
Raphaël Monat;
Abdelraouf Ouadjaout;
Antoine Miné
This is the artefact accompanying the research paper "A Multi-Language Static Analysis of Python Programs with Native C Extensions". It consists in a `README.md` file describing how to use the docker image `sas21_8.tar`.
Abstract of the research paper:
Modern programs are increasingly multilanguage, to benefit from each programming language's advantages and to reuse libraries. For example, developers may want to combine high-level Python code with low-level, performance-oriented C code. In fact one in five of the 200 most-downloaded Python libraries available on GitHub contains C code. Static analyzers tend to focus on a single language, and may use stubs to model the behavior of foreign function calls. However, stubs are costly to implement and undermine soundness of analyzers. In this work we design a static analyzer by abstract interpretation that can handle Python programs calling C extensions. It analyses directly and fully automatically both the Python and the C source codes. It reports runtime errors that may happen in Python, in C, and at the interface. We implemented our analysis in a modular fashion: it reuses off-the-shelf C and Python analyses written in the same analyzer. This approach allows sharing between abstract domains of different languages. Our analyzer can tackle tests of real-world libraries a few thousand lines of C and Python long.
| Name | Size | |
|---|---|---|
|
README.md
md5:63ff1fbf54f42879159e52674e1c6022 |
10.8 kB | Download |
|
sas21_8.tar
md5:a69756e053c6b53557157d38095adb05 |
2.8 GB | Download |
| All versions | This version | |
|---|---|---|
| Views | 145 | 112 |
| Downloads | 24 | 13 |
| Data volume | 14.2 GB | 8.5 GB |
| Unique views | 112 | 97 |
| Unique downloads | 13 | 10 |
- Publication date:
- July 28, 2021
- DOI:
-
- Keyword(s):
- Static Analysis Abstract Interpretation Dynamic Programming Languages Multilanguage Analysis
- Grants:
-
European Commission:
- MOPSA - Modular Open Platform for Static Analysis (681393)
- Meeting:
- SAS, 17-22 October 2021
- Communities:
- License (for files):
- Creative Commons Attribution 4.0 International