Completed
Motivating example
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Pangolin - Incremental Hybrid Fuzzing with Polyhedral Path Abstraction
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Existing direction: Hybrid fuzzing
- 3 Obstacle: Hybrid fuzzing is not efficient
- 4 Reason: Hybrid fuzzing is not incremental
- 5 Observation: Constraints are discarded directly
- 6 Observation: Seeds provide limited guidance for further input generation
- 7 Motivating example
- 8 Goal: Incremental hybrid fuzzing
- 9 Challenge: How to preserve the constraints?
- 10 Intuition: Interpret the input search space
- 11 Existing challenges to generate inputs
- 12 Solution 1: prune the infeasible paths for constraint solver
- 13 Solution 2: accelerate solving speed for feasible path
- 14 Evaluation
- 15 Bug detection
- 16 How can guided constraint solving improve efficiency?
- 17 Key takeaway
