基于roBDD的细颗粒度动态污点分析(英文)