Hash-flow taint analysis of higher-order programs (2012)

by S Liang, M Might
Venue:In Proceedings of the 7th Workshop on Programming Languages and Analysis for Security, PLAS ’12