#static-analysis
Wiki 3
- Building a Go Transaction Linter How léon h built transactioncheck after shipping a transaction leak bug to production
- go/analysis Framework Standard Go framework for building static analyzers that integrate with go vet and golangci-lint
- Your AI Agent Doesn't Understand Code, It Guesses Confidently Vendor post on CodeSlicer, an impact graph that separates proved call edges from plausible guesses
Toolbox 1
- transactioncheck Go linter catching database calls that use the outer repo instead of the transaction handle