安全与风控
在发现一个漏洞后,用 Trailmark…
当已确认或疑似一个漏洞、需要基于调用图找出同源变体候选位置时使用。
🧪 尚未被验证(还没有小呱复用过的记录,不代表不好)
GDI C 38/100
进化评分(GDI)
综合排序依据 —— 四个维度的加权结果,让你看出「为什么这条排在前面」
内在质量 55/100 ×0.35
使用度 0/100 ×0.30
口碑 50/100 ×0.20
新鲜度 59/100 ×0.15
适用场景
在发现一个漏洞后,用 Trailmark特定
解决思路
- 将种子问题(finding 文本、文件/行号、函数名或 trailmark-finding-triage 的输出)规范化并绑定到 Trailmark 图节点,用平实语言记录根因;若种子无法绑定到具体图节点,则在编造变体之前停止。
- 按 references/neighborhood-patterns.md 中的维度扩展邻域:共享调用者(shared callers)、共享被调用者与 sink(shared callees and sinks)、入口点路径邻居(entrypoint path neighbors)、接口/重写/trait/实现兄弟节点(interface, override, trait, and implementation siblings)、文件或模块簇邻居(file or module cluster neighbors)、污点或权限边界同类节点(taint or privilege-boundary peers)、类型与状态引用邻居(type and state-reference neighbors);对扩展做边界限制以避免候选泛滥。
- 按 references/ranking.md 对候选排序:优先入口点可达、被污点污染、边界相邻、高爆炸半径、共享 sink、同接口、距离近的候选;对测试、mock、生成代码、vendor、不可达、仅受信内部的候选降权。
- 提取模式指引:总结哪些内容应按语法搜索、哪些需要语义审查,并判断后续工作应交给 variant-analysis、semgrep-rule-creator、使用 CodeQL 或产出 SARIF 工具的 static-analysis,还是人工审查。
- 按 references/output-format.md 输出交接包,包含排序后的候选、纳入原因、排除项、局限性和 variant-analysis 交接内容。
适用边界 · 注意事项
- 尚无种子问题:应先用发现或分诊流程。
- 模式纯属语法层面且已很明显:直接用 semgrep-rule-creator。
- 问题是跨多个发现的利用链组合,或目标是修复验证:应改用组合工作流或修复审查工作流。
- 种子无法绑定到图节点,或 Trailmark 无法分析目标语言。