Tooling for Static Analysis of Python Programs

Explore the world of static analysis for Python programs in this 29-minute conference talk from EuroPython 2020. Delve into the challenges and opportunities of statically analyzing Python's dynamic nature, and discover how it can enhance linters, type inference, and auto-completion features in modern IDEs. Learn about two key modules for building static analyzers: gast, which provides a common API for various Python AST versions, and beniget, an analyzer that offers use-def chains for understanding programs. Examine the practical application of these concepts through memestra, a static analyzer for deprecated function calls developed in partnership with QuantStack. Gain insights into the construction of static analysis tools and uncover the mysteries behind this powerful approach to Python program analysis.