mantis-researcher

源码审计执行技能。按审查计划对目标文件做快速分流和深度评审，识别边界检查缺失、前置条件未验证、输入未净化和接口契约违规。适合对重点文件做逐行深度静态分析，发现扫描器查不到的隐患。

技能 · security