← 返回技能 & 工具

mantis-researcher

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

AI 技能 · security

技能介绍

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

适用对象

适合需要security能力、并希望先了解条目用途再决定是否安装的技能用户。

资料中明确的能力与使用场景

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

详细说明

源码审计执行——按审查计划对目标文件做快速分流和深度评审,识别边界检查、前置条件、缺失净化与接口违规。当已有审查计划、需要逐文件深挖漏洞时使用。

分类与标签

分类:security · security

相关入口

查看官方项目或原始入口 ↗

限制与注意事项

当前条目资料未提供独立的版本兼容性、参数表或完整测试报告;未列出的系统、依赖、权限与功能边界,请以官方入口的 README 和实际环境为准。

相关技能与分类