Simone污点检验
的有关信息介绍如下：
污点检验是某些程序语言（如Perl、Ruby）所具备的安全特性，通过追踪外部用户可修改变量及其传递路径，判断其是否被用于执行危险指令（如操作数据库或操作系统），从而防范SQL注入或缓冲区溢出等风险并向程序员发出警告 。该技术可视为安全信息流概念的保守近似，其分析结果反映系统信息流特征的近似信息 。混合污点分析工具StraightTaint通过解耦程序执行与污点分析，采用轻量级日志记录实现离线符号分析，显著降低应用运行时开销 。
1996年网景公司在服务器端JavaScript和客户端浏览器的网景浏览器3中实现数据污点化，但客户端功能需手动激活且未被其他浏览器采用 。2016年学者Jiang Ming等人提出基于符号执行的脱机分析方法，其成果发表于IEEE/ACM自动化软件工程国际会议 。
想要了解更多“污点检验”的信息，请点击：污点检验百科
