SuperAPI AI 工具集

sdk-security-audit

安全与审计

查看项目

更新于 10-15 19:58

技能介绍

用途:对代码仓库执行自动代码安全审计,仅支持 C/C++(.c/.cpp/.cc/.cxx/.h/.hpp/.hxx)与 Python(.py/.pyw)。输入可为远程仓库 URL、本地路径或问题描述;远程仓库按 remote-repository.md 克隆,指定分支时克隆对应分支,审计完成后自动删除克隆仓库。

主要能力:依据 security-issues-design.md 通用规范及 security-issues-cpp.md、security-issues-python.md 语言规则扫描;识别对外 SDK 入口(公开头文件、导出符号、命名规范、构建信息、示例调用),按是否接收外部缓冲区/长度/指针、内存操作、文件与系统调用、并发回调等排序;采用正向、反向审计并交叉验证;输出报告遵循 output-format.md。

使用方式:先解析输入类型并准备环境,识别语言,再在整个仓库范围内识别 SDK 入口,随后执行规则扫描与审计,最后做证据验证并输出中文报告,保留函数名、类型名、文件路径原始标识。

限制:每个问题必须关联具体规则编号,证据链需含入口函数、调用路径、精确文件:行号、输入传播、校验情况与触发条件,缺失即不报告;遵循宁漏勿误,已有边界或空指针检查、内部函数、受控环境、RAII 封装、断言保护、类型安全等情况禁止报告;代码风格、性能、最佳实践与可读性问题保持静默;无高置信度问题时输出“未发现高置信度安全问题”。指定目录或文件时只报告该范围内问题,但分析基于完整仓库上下文。具体规则条目与报告格式细节暂未提供。