Taint-based directed whitebox fuzzing.

Vijay Ganesh Tim Leek Martin C. Rinard

Published in: ICSE (2009)

Keyphrases

security policies
control flow
database
lower bound
least squares
knowledge base
high level
special case
buffer overflow