Taint Analysis
污点分析追踪不可信数据（污点源）在程序中的传播，检测是否到达危险操作（污点汇）。
用途
检测注入漏洞（SQLi/XSS/命令注入），确保用户输入经净化后才用于危险操作。
机制
标记用户输入为污点源，追踪赋值/运算传播。若污点数据到达汇（SQL 查询、exec、innerHTML）未经净化则报警。静态（FlowDroid）或动态（TaintTrace）实现。
用例
- 注入漏洞检测
- 安全审计
- 数据流追踪
污点分析追踪不可信数据（污点源）在程序中的传播，检测是否到达危险操作（污点汇）。
检测注入漏洞（SQLi/XSS/命令注入），确保用户输入经净化后才用于危险操作。
标记用户输入为污点源，追踪赋值/运算传播。若污点数据到达汇（SQL 查询、exec、innerHTML）未经净化则报警。静态（FlowDroid）或动态（TaintTrace）实现。