Completed
Design: static pattern capturing
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
SANRAZOR - Reducing Redundant Sanitizer Checks in C-C++ Programs
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 C/C++ programs are unsafe
- 3 Sanitizers are designed to detect software bugs/vulnerabilities
- 4 However, sanitizers have high runtime overhead
- 5 Prior approaches
- 6 Our novel design
- 7 Design: overall workflow
- 8 Design: check identification
- 9 Design: dynamic pattern capturing
- 10 Design: static pattern capturing
- 11 Design: sanitizer check reduction
- 12 Design and implementation
- 13 Evaluation cost study
- 14 Evaluation: vulnerability detectability study
- 15 Application scenario
- 16 Summary
