Explore the intricacies of static analysis for Python in this 51-minute conference talk from EuroPython 2013. Delve into the challenges posed by Python's dynamic nature and discover how static analysis can help prevent runtime errors. Learn about the layered code model, parsing techniques, and tools like PyFlakes. Examine the complexities of resolving names, imports, and attributes in Python code. Investigate static type systems, type inference, and the role of standard library annotations. Gain insights into overcoming various dynamic challenges and understand when static analysis tools truly excel in improving Python development.