Hash-flow taint analysis of higher-order programs.

Shuying Liang, Matthew Might

Browse the full PLDI paper archive.