语义推理驱动
将大模型作为流程语义推理引擎，而不是简单的漏洞扫描器
五步分析流程
从安全前提出发，深入挖掘真实漏洞
将漏洞归一化为安全前提被打破，按函数级粒度推进分析，兼顾覆盖广度与推理深度
- 01
安全相关动作
找到可能影响安全边界的危险动作
- 02
建立安全前提
明确危险动作成立所需的安全条件
- 03
安全前提打破
识别攻击者可控输入或不安全状态
- 04
追踪真实路径
追踪失配触发的真实可达路径
- 05
建立安全后果
形成可验证、可复核的漏洞影响结论
系统设计
不是扫描代码，而是驱动一套语义推理流程
动态领域建模
在匹配分析节点后动态载入领域抽象模型，引导大模型专注当前领域边界
路径选择与剪枝
优先保留事实影响传递和外部影响关键事实的路径，提升分析效率
源码与二进制适配
用户输入研究目标即可开始分析，并支持源码与二进制类别的快速建模适配