Pangolin - Incremental Hybrid Fuzzing with Polyhedral Path Abstraction
Explore an innovative approach to hybrid fuzzing in this 16-minute IEEE conference talk. Delve into the challenges of existing hybrid fuzzing techniques and discover how Pangolin addresses these issues through incremental hybrid fuzzing with polyhedral path abstraction. Learn about the obstacles faced by current methods, including inefficiency and non-incremental nature, and understand the importance of preserving constraints. Examine a motivating example that illustrates the goals and challenges of incremental hybrid fuzzing. Gain insights into the proposed solutions, including pruning infeasible paths for constraint solvers and accelerating solving speed for feasible paths. Analyze the evaluation results, focusing on bug detection and the improved efficiency achieved through guided constraint solving. Conclude with key takeaways that highlight the significance of this novel approach in advancing the field of software security testing.