二进制程序的动态符号化污点分析 (Dynamic Symbolic Taint Analysis of Binary Programs). - Zhengxin Zhu; Fanping Zeng; Xinyi Huang (计算机科学, 2016)