A Multi-Language Static Analysis of Python Programs with Native C Extensions
summary
An abstract interpreter called Mopsa automatically analyzes both Python and native C sources, modeling language switches and reporting runtime errors in Python, in C, and at the interface rather than relying on stubs. It composes existing C and Python analyses, shares universal domains (e.g. numeric/heap abstractions) to gain relational precision, and handles real-world libraries used as tests (average 412 GitHub stars) up to about 5000 lines with results in minutes, catching overflows and conversion issues across the boundary.
AI-written summary · about
chapters (10)
- 0:00Intro
- 0:14Static Program Analysis
- 2:47Outline
- 3:21Combining Cand Python - Counter Example
- 5:46How to analyze multilanguage programs?
- 8:24Multilanguage Semantics
- 10:13to a multilanguage analysis!
- 10:30Analysis of the Example
- 11:29Benchmarks
- 12:45Conclusion
related talks
23mProgram Skeletons for Automated Program Translation
42mContemporary Automatic Program Analysis
01h 02mProgram Manipulation of C Code
30mModularity, Code Specialization, and Zero-Cost Abstractions for Program Verifica...
14mA Sound Static Analysis Approach to I/O API Migration
01h 06mOn-The-Fly Verification via Incremental, Interactive Abstract Interpretation wi...
07h 15mInternational Workshop on the State Of the Art in Program Analysis (SOAP)
34mLow-level RASP: Protecting Applications Implemented in High-level Programming Languages