基于MATLAB的复杂SWF文件模糊测试与Adobe Flash Player安全漏洞挖掘

"本研究论文关注的是在Adobe Flash Player这款广泛应用于互联网的软件产品中进行安全漏洞挖掘的技术挑战。Adobe Flash Player的输入文件格式SWF极其复杂，包含了丰富的多媒体元素和嵌套的数据结构，这对传统的基于规则的模糊测试工具构成了很大的挑战。TaintScope作为一种混合符号执行支持的模糊测试工具，通过将随机选择的图片转换为SWF文件，并记录处理这些文件的执行轨迹，成功发现了三个零日漏洞。 实验设计中，作者特别注意到防止SWF文件中的校验和检测，针对由PNG和JPEG图片生成的不同SWF文件进行了校验和分析。结果表明，针对PNG图片生成的SWF文件，Adobe Flash Player存在校验和检测点，而JPEG文件则没有。这表明校验和检测是影响模糊测试有效性的关键因素。 论文强调了面向二进制程序安全漏洞挖掘的重要性，尤其是在面对静态分析高误报率和动态模糊测试依赖于有效测试数据生成的问题时。作者提出了校验和感知的模糊测试方法，这是针对复杂且包含完整性校验的SWF文件格式的一种创新策略。这种方法旨在克服传统模糊测试在遇到校验和机制时的局限，增强动态漏洞挖掘的有效性。 静态漏洞挖掘方面，论文讨论了漏洞建模与空间遍历的方法，这是静态分析中寻找漏洞的关键步骤。通过深入研究，论文希望能够提升静态分析的准确性和覆盖率，减少人工验证的需求。 这篇北京大学博士学位论文深入探讨了如何利用混合符号执行和校验和感知的模糊测试技术，有效挖掘Adobe Flash Player中的安全漏洞，为二进制程序安全漏洞检测提供了新的思路和方法，对于提升软件安全性具有重要意义。"