The Magic Behind Optimizing Compilers: Static Program Analysis - Meeting C++ 2022

Explore the inner workings of optimizing compilers and static program analysis in this comprehensive conference talk from Meeting C++ 2022. Delve into the basics of static program analysis and discover the behind-the-scenes processes of optimizing compilers. Learn about well-known static analysis frameworks and progressively more sophisticated analysis techniques, while understanding current challenges faced by the program analysis and compiler community. Gain hands-on experience with examples drawn from Clang/LLVM, and develop a deeper understanding of compiler capabilities and limitations. By the end of the talk, acquire the knowledge to write more effective code and implement your own compiler analysis and optimization passes in LLVM. Topics covered include dataflow analysis, constant propagation, IR inspection, static analysis challenges, and practical insights on writing analyses and performing optimizations.

Introduction
Who is Philipp Schubert
Applications and Techniques
How does it work
Bug detection
Dataflow analysis
Constant propagation example
Static program analysis in LLVM
IR inspection in LLVM
LLVM code inspection
Is LLVM too good
LLVM in IDE
Compilers vs Static Analysis
Static Analysis Challenges
How to Write an Analysis
How to Perform an Optimization
Compilers Need Your Help
Does It Help
No Except
Conclusions
Example
Conclusion