Completed
The Checker Framework in Action Preventing Errors Before They Happen
Class Central Classrooms beta
YouTube playlists 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
