Disrupting QA – Emerging Trends in Code Quality Automation
summary
Recent industry work shows practical, scalable static analysis: PMD and Error‑Prone catch syntax and type patterns, Infer uses compositional interprocedural summaries to find deep null dereferences and RacerD finds thread races; NullAway provides annotation‑guided proofs. Large deployments analyze ~50,000 code review changes/day producing ~5,000 reports/day with 95% developer usefulness; Facebook fixed over 1,000 races and saw fix rates jump from ~0% to ~70% after static analysis before code review integration.
AI-written summary · about
chapters (13)
- 0:00Introduction
- 1:32The Need for Static Analysis
- 3:53Trends in Tool Adoption
- 6:16Static Analysis Basics
- 10:34Types of Tools and Techniques
- 13:22Grep and Data Flow Analysis
- 17:10Using PMD for Linting
- 21:45Compiler-Based Analysis
- 25:08Interprocedural Analysis
- 26:18Deep and Scalable Analysis
- 29:53Formal Verification Methods
- 32:23Industry Impact and Adoption
- 35:12Conclusion and Workflow
related talks
14mAI-Powered Code Review and Quality Assurance
46mCode Quality in the AI era, needed more than ever
43mCracking the Code Review: from Guesswork to Automated Guidance
48mAgent-Agnostic Guardrails: Universal Java Code Quality with AGENTS.MD and Static Analysis
49mClean Code in the AI era
48mFrom IDE to production: Actionable ML-powered code security analysis
34mAI and Code Quality: Building a Synergy with Human Intelligence
46mClean Code in AI era