Completed
Eclipse, Intelli , NetBeans plug-ins
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
The Checker Framework in Action
Automatically move to the next video in the Classroom when playback concludes
- 1 The Checker Framework in Action Preventing Errors Before They Happen
- 2 Cost of software failures
- 3 Software bugs can cost lives
- 4 Outline
- 5 Java's type system is too weak
- 6 Some errors are silent
- 7 Prevent information leakage
- 8 Specification 2: unencrypted parameter
- 9 Demo: Preventing SQL injection
- 10 Solution: Pluggable Type Checking
- 11 Optional Type Checking
- 12 Eclipse, Intelli , NetBeans plug-ins
- 13 Ant, Maven, Gradle integration
- 14 Benefits of type systems
- 15 Checkers are usable • Type-checking is familiar to programmers • Modular: fast, incremental, partial programs • Annotations are not too verbose
- 16 String type systems
- 17 Security type systems
- 18 Verification
- 19 Checker Framework Community Open source project
- 20 Pluggable type-checking improves code
- 21 Regular Expression Example
- 22 Fixing the Errors
