Turning a Code Snippet into Linter Rules
summary
The talk explains how to write project-specific linter diagnostics for PHP using NoVerify’s dynamic rule mechanism. It covers the DSL for dynamic rules, the current AST-matching engine and performance optimizations, the rule runner and its optimizations, limitations of AST-template approaches, Go-related implementation challenges (lack of generics), and comparisons with go-ruleguard’s DSL and design differences.
AI-written summary · about
chapters (11)
- 0:00Introduction
- 3:48Custom diagnostics
- 8:41Gleb's stove history
- 11:52Dynamic rules differences
- 14:42Dynamic rule example
- 20:14Pattern matching
- 23:46Search algorithm optimization
- 25:32Rules in Verify Fin
- 29:27Pros and cons
- 35:22Integration and examples
- 36:06Q&A
related talks
57mExtending the PHP Language with Static Analysis- Dave Liddament
32mFrom Zero to Static Analysis Hero
33mCustom PHPStan Rules: Automate Standards and Save Time
48mEnforcing Rules with Our Own Dart Linter
53mStatic Analysis Saved My Code Tonight
41mWriting Lint for Ruby
14mGetting Started with JavaScript Linter | What Is Linter?
34mLint to the Rescue