该论文定义了程序输入中的“盲点”（blind spots），即可以任意改变而不影响程序输出的输入部分。盲点可用于隐写术或嵌入恶意载荷，若重叠文件格式关键字则表明解析器存在可被利用的差分漏洞（例如同一文档在不同解析器中呈现不同结果）。作者形式化了盲点的操作语义，提出一种基于动态信息流跟踪（DIFT）的自动化检测方法，并在开源PDF解析器MµPDF上实现了原型系统。通过对超过一千个多样化PDF文件的测试，系统成功识别出解析器中的可被利用的bug，所有盲点分类均被验证正确，误报率为0，漏检率不高于11%。实验显示平均每个PDF文件中至少有5%的内容被解析器完全忽略。该方法不局限于PDF格式，可应用于ELF、X.509、XML等其他难以解析的格式。此项技术为自动化检测解析器bug、过度宽松解析以及差分行为提供了高效手段。