Squash Bugs with Static Analysis

on YouTube ↗55m

" summary

Shows concrete results from running modern analyzers: Psalm, Phan and PHPStan find real type errors, deferred failures and evolvability defects; phpstorm + type hints stop many bugs before commit and CI (CircleCI) plus tools like parallel-lint, composer-validate and phpcs-fixer catch more. A mid-sized codebase reports ~30 issues at low level and ~1,500 at strict level; creating a baseline lets teams only surface the new defects to fix.

AI-written summary · about

" chapters (8)

1. 0:00Start
2. 4:23TEST CASES
3. 10:58STATIC ANALYSIS SALESPERSON
4. 28:44PSALM GETTING STARTED
5. 33:15TARGET YOUR BUSINESS LOGIC
6. 36:04FURTHER STATIC ANALYSIS TIPS
7. 49:06BASELINE STATIC ANALYSIS RESULTS
8. 53:13STATIC ANALYSIS WITH SARB

" related talks

• 50mPractical Advanced Static AnalysisDave Liddament · PHP UK Conference 2022
• 25mTypes & static analysis are good in PHPSam Greenwood · Laracon AU 2019
• 53mStatic Analysis Saved My Code TonightDamien Damien Seguy · PHP UK Conference 2017
• 47mStatic Code Analysis: Judging a Forest by Its TreesChristian Rades · PHP UK Conference 2020
• 32mFrom Zero to Static Analysis HeroRyan Chandler · Laracon EU 2025
• 40mBullet-proof projectsAndreas Wolf · TYPO3 Developer Days 2019
• 55mReview unknown code with static analysisDamien Damien Seguy · Dutch PHP Conference 2017
• 45mTesting Strategy with the Help of a Static AnalyzerOndrej Mirtes · Dutch PHP Conference 2018