Completed
Semantic-preserving Transformations
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Web Developers, Beware of the Tarpits for SAST in Your Code
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Context: SAST and testability
- 3 CVE-2011-3357: File inclusion in mantis bug tracker
- 4 Toward testability patterns
- 5 Research methodology: overview
- 6 Phase 1: Pattern creation and SAST measurement
- 7 Dataset
- 8 Prevalence
- 9 Pattern discovery: advantages
- 10 MANUAL PATTERN TRANSFORMATION
- 11 Semantic-preserving Transformations
- 12 Over-approximations
- 13 Developer-Assisted Transformations
- 14 Results upon transformations
- 15 AUTOMATED PATTERN TRANSFORMATION
- 16 Conclusion and next steps
- 17 Contact and credits
