LeanSym: Efficient Hybrid Fuzzing Through Conservative Constraint Debloating
Xianya Mi, Sanjay Rawat, Cristiano Giuffrida, Herbert Bos · 2021
To improve code coverage and flip complex program branches, hybrid fuzzers couple fuzzing with concolic execution. Despite its benefits, this strategy inherits the inherent slowness and memory bloat of concolic execution, due to path explosion and constraint solving. While path explosion has received much attention, constraint bloat (having to solve complex and unnecessary constraints) is much less studied.