Completed
Verifying Non-Increasing Input Space (C1)
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
SPIDER - Enabling Fast Patch Propagation in Related Software Repositories
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Delays in Security Patch Propagation
- 3 Non-CVE Security Patches
- 4 The Problem of Automatic Patch Propagation
- 5 Solution Requirements
- 6 Safe Patch Should Not Affect the Functionality
- 7 Safe Patches Conditions
- 8 Valid Inputs to a Function
- 9 Verifying Output Equivalence (C2)
- 10 Handling Infinite Data flow paths
- 11 Spider Implementation
- 12 Convert Path Constraint to Symbolic Expression (Old Function)
- 13 Convert Path Constraint to Symbolic Expression (Patched Function)
- 14 Verifying Non-Increasing Input Space (C1)
- 15 Spider Assumptions
- 16 Evaluation: On Total Patches
- 17 Evaluation: On CVE Fixing Patches
- 18 Evaluation Security Patch Mode
