Scalpel - The Python Static Analysis Framework

Explore the Python Static Analysis Framework Scalpel in this 25-minute conference talk from EuroPython 2022. Delve into the challenges of analyzing Python code and discover how Scalpel provides essential program analysis functions to facilitate the implementation of client applications for statically resolving dedicated problems. Learn about Scalpel's key features, including control flow graph generation, def-use relations, scope analysis, and code rewriting capabilities. Understand the framework's objectives and its growing popularity among researchers and practitioners worldwide. Gain insights into software engineering research, static program analysis, and industry solutions for Python, Java, and C programming languages.

Intro
Software Engineering Research
Static Program Analysis
Industry Solutions
What researchers are saying
Analysis for Python, Java and C
Why so hard to analyse Python code
Scalpel: The Python Static Analysis Framework
Our objectives
A common story
Scalpel: Control flow graph
Scalpel: Def-use relations
Scalpel: Scope analysis
Scalpel: Code Rewriting
A Summary of Scalpel