安全发现分诊

用 Trailmark 的可达性、入口路径、污点、权限边界、影响半径、调用方/被调方与邻域证据，对单个安全发现、SARIF 结果、weAudit 标注、可疑函数或报告片段做图辅助分诊。用于判断某个候选问题是否可达、在 PoC 前排优先级、为漏洞验证准备证据，或检查静态分析结果是否可行动。"