Lecture 1

Introduction to Static Program Analysis

Lecture

Slides: PDF, PPTX

Notes: PDF

Outline

• Introduction.
• Information on course administration.
• Course motivation.
• Perspective on static program analysis.
• Code Inspections.

Workshop

Outline

• Coding conventions
  • Java: Google, Oracle
  • C++: Google
  • Python: PEP 8 and Google
  • Elegant Objects

Open-Source Static Analysis Tools

Linters

• Checkstyle
• pylint
• Cpplint by Google
• Qulice
• KTlint and DiKTat

Static Analysis Tools

• PMD
• SpotBugs
• Error Prone by Google
• Infer by Facebook
• Clang Tidy and Clang Static Analyzer

References

• Static Program Analysis (Wikipedia)

• Caitlin Sadowski et al. Lessons from Building Static Analysis Tools at Google

• Caitlin Sadowski et al. Tricorder: Building a Program Analysis Ecosystem

• Dino Distefano et al. Scaling Static Analyses at Facebook