control + data flow model directed inputs generation b . approximate taint flow inference .
Fuzzing the ActionScript virtual machine