Inferring Types from Python: Challenges of Analyzing Python Code
summary
The talk explains building a Python tool for bug finding and automatic unit-test generation, focusing on static and dynamic analysis challenges such as type inference for Python, selecting values for fuzzing, and performance bottlenecks. It covers Python internals and practical implementation issues the presenters encountered while designing the tool.
AI-written summary · about
chapters (12)
- 0:00Introduction
- 2:07UnitTestBot goals and structure
- 3:12Sorting function bug example
- 5:42Dynamic code analysis problems
- 8:51Property-based testing
- 11:20Static typing in Python
- 13:49UnitTestBot fuzzing implementation
- 17:27Type inference without annotations
- 24:13Symbolic execution for analysis
- 28:11Readable test generation issues
- 34:36Tool demo
- 36:24Q&A
related talks
32mType-checked Python in the real world
03h 38mPython Types for Fun and Profit
24mStatic type-checking is dead, long live static type-checking in Python!
57mWhy You Should Care About Types
33mType Hints
27mAn Overview of the Python Code Tool Landscape 2023
29mPython Type hints and how they can supercharge CS education.
27mStatic Code Analysis with Python