该论文针对PHP原生应用中服务器端请求伪造(SSRF)漏洞的检测问题展开研究。现有静态污点分析工具在检测SSRF时存在高误报和高漏报的问题,主要原因包括:未纳入应用特定的source和sink函数、未考虑PHP动态类型特性、缺乏SSRF专用的污点分析规则,从而导致过度污点标记(over-tainting)和欠污点标记(under-tainting)。为此,作者提出了一种精确检测PHP Web应用中SSRF漏洞的技术方法。该方法首先提取PHP内置函数和应用特定函数作为候选source和sink函数;其次,提取显式和隐式函数调用以构建应用的调用图;最后,基于一组防止过度和欠污点标记的规则执行污点分析。作者实现了原型工具,并对不同类型的PHP Web应用进行了评估。初步实验表明,该工具在13种不同类型的应用中检测出24个SSRF漏洞,其中20个为已知漏洞,4个为新发现漏洞。论文的主要贡献在于提出了针对SSRF的专用污点分析规则,有效降低了误报和漏报,并成功发现了新的安全漏洞。适合Web安全研究人员、PHP开发者以及安全检测工具开发者阅读。
💡 推荐理由: SSRF是PHP应用中常见且危险的漏洞,现有静态分析工具效果不佳。该研究通过结合应用特定上下文和SSRF专用规则,显著提升了检测准确性,并发现了新漏洞,对提升PHP Web应用安全具有实际参考价值。
🎯 建议动作: 研究跟进