SmartSeed: Smart Seed Generation for Efficient Fuzzing
DTA++: Dynamic Taint Analysis with Targeted Control-Flow Propagation