用 source、传播、净化、sink 四个词判定一条路径该不该报，讲清 SAST、模糊测试、符号执行与 Agent 怎么协同；跑通一张 AST 污点审计图，并把五篇收成一条审计工作流。