Static Analysis in Go

on YouTube ↗40m

" summary

Shows how to use Go’s parser and type checker from the standard library to build go vet–style checks: AST walking with parser.ParseFile and ast.Inspect, types.Config/types.Info and the default importer to get precise types, then flag issues. Concrete examples: enforce minimum function-name length, detect incorrect use of == on time.Time and recommend t.Equal, and a real-world iterator Next/Close checker that tracks call objects to warn when Close is never called. Mentions SSA-based analysis as a next step and cautions about reflection, unsafe and cgo where static checks often fail.

AI-written summary · about

" chapters (11)

1. 0:00Introduction
2. 0:23What is static analysis
3. 3:17Why Go suits analysis
4. 5:25Parsing code to AST
5. 8:38Enforcing function names
6. 10:27Time comparison gotcha
7. 16:52Detecting missing cleanup
8. 23:37Challenges in Go
9. 24:41Tips for writing checks
10. 26:04Resources and next steps
11. 28:10Q&A session

" related talks

• 32mWriting a Static Analyzer for Go CodeAkhil Indurti · GopherCon 2021
• 40mStatic Analysis in GoTakuya Ueda · Golang UK 2017
• 26mUsing and Writing Go AnalysesMichael Matloob · GopherCon UK 2019
• 19mUsing and Writing Go AnalysesMichael Matloob · GopherCon Singapore 2019
• 35mUsing and Writing Go AnalysesMichael Matloob · GoLab 2019
• 38mStatic Code Analysis - A Behind-the-scenes LookArno Haase · GOTO Amsterdam 2022
• 16mTools for working with Go CodeFatih Arslan · dotGo 2015
• 25mTypes & static analysis are good in PHPSam Greenwood · Laracon AU 2019