control + data flow model directed inputs generation b . approximate taint flow inference .
A Taint Based Approach for Smart Fuzzing