All you ever wanted to know about dynamic taint analysis and forward symbolic execution (but might have been afraid to ask”. In (2010)

by E J Schwartz, T Avgerinos, D Brumley, and
Venue:In Proceedings of the IEEE Symposium on Security and Privacy