SymDict: A novel hybrid fuzzing method based on symbolic dictionaries
The proposed SymDict, a hybrid fuzzing system based on symbolic dictionaries, reduces redundant symbolic execution by performing constraint solving only at uncovered branches in frontier basic blocks, and partitions constraint sets into solvable subsets, combines solutions with offset information to create symbolic dic...