The Checker Framework In Action
summary
Checker Framework is an annotation‑processor plugin for javac that enforces about 20 pluggable type systems and scales to large projects; the demo runs the tainting checker on a downloaded blog and finds a real SQL‑injection flow, runs the regular expression checker to prevent PatternSyntaxException and index‑out‑bounds on missing capture groups, and reports hundreds of real bugs (over 500 lock/race errors); nullness needs about 1 annotation per 475 lines and the tool integrates with Maven/Gradle/Eclipse and is open source at CheckerFramework.org.
AI-written summary · about
chapters (9)
- 0:00Introduction to Code Errors
- 2:15Limitations of Java Types
- 4:11Introduction to Annotations
- 6:46Sql Injection Demo
- 10:05Pluggable Type Systems
- 13:30Regex Checker Demo
- 17:53Benefits and Checker Types
- 22:48Verification vs Bug Finding
- 25:47Q&A and Conclusion
related talks
47mHow and Why I Write My Own Static Type Checker
21mType dependence
21mBeyond Type Checking Building Bulletproof TypseScript Applications
41mTyped Clojure
11mMatt Bierner - SeattleJS Conference 2017
51mEasy Static Checking for Embedded DSLs in Scala with Contextual
37mKotlin on Code Quality Tools
30mProperty-based Testing for Godly Tests