#taint-tracking

共收录 1 条相关安全情报。

← 返回所有主题
👥 作者: Elie Rizk, Firas Ben Hmida, Birhanu Eshete

本文提出了一种名为TaintRadar的静态污点分析框架,旨在解决现有代码属性图(CPG)在漏洞检测中的三大关键缺陷:粗粒度的净化建模(将验证视为二进制屏障)、数据库盲点(无法跨持久层追踪污点)以及浅层面向对象分析(遗漏字段级和跨过程数据流)。TaintRadar通过三个语义分析层对CPG进行系统增强:一是漏洞类型化的净化分析,利用传递函数和上下文敏感的参数绑定计算节点级安全保障;二是持久感知的传播机制,整合数据库模式约束和查询安全分析,以追踪跨多个脚本的共享数据库状态攻击路径;三是对象感知的到达定义,结合调用上下文和有界变量别名上下文,精确建模跨方法边界的对象字段变更。在SARD基准测试中,TaintRadar大幅降低了误报率,同时保持了80%的整体准确率。在19个真实PHP应用程序上的部署结果显示,它重新发现了大多数已知CVE,并发现了29个已确认的零日漏洞(包括26个SQL注入和3个存储型XSS),这些漏洞均已获得CVE标识。实验证明,语义感知的图增强显著提升了静态污点分析的精度、覆盖率和实际可用性。

💡 推荐理由: TaintRadar针对现有静态分析工具的三大痛点提出了系统性的解决方案,能有效降低误报并发现真实漏洞,尤其适合对PHP应用进行深度安全审计。其语义增强方法有望推广到其他语言和框架。

🎯 建议动作: 研究跟进,评估在内部代码审计流水线中集成TaintRadar的可行性

排序因子: 来自 arXiv 其他板块 (+2) | Community 数据源 (+1) | LLM 评分加成 (+0.5)