用途:面向安全代码审计与漏洞挖掘,帮助识别危险 API、易错设计、默认不安全配置,并在代码库中搜索已知漏洞的变体。
主要能力:一是 Sharp Edges 检测,覆盖危险默认配置(如 CORS 通配、调试模式、默认凭据、宽松文件权限、关闭 TLS 校验、不安全反序列化)、易错 API(内存安全函数、ECB/MD5/SHA1 等密码学陷阱、竞态与 TOCTOU)以及按语言列出的模式,包括 JavaScript/TypeScript 的 eval、innerHTML,Python 的 pickle.loads、yaml.load、exec、shell=True,Rust 的 unsafe、unwrap、transmute,Solidity 的 tx.origin 认证、delegatecall、selfdestruct、block.timestamp 随机数。二是变体分析,流程为定位根因、提取模式、泛化模式、搜索代码库、验证发现,并提供缺失校验、认证绕过、竞态等模式模板及报告模板。
使用方式:按四阶段工作流执行,先侦察技术栈、入口点、认证授权、加密与外部集成,再跑 Sharp Edges 检查表,随后对每个发现做变体搜索与验证,最后按类别汇总并给出严重性评级与修复建议。可用 grep 做基于文本的搜索,也可用 Semgrep、CodeQL、tree-sitter 做语义/AST 匹配;技能文件包含 SKILL.md、resources、examples、templates、docs 目录。
适用场景:安全代码评审、第三方依赖审查、已知漏洞变体挖掘、API 设计安全评估、陌生代码库的审计前侦察。
限制:应验证后再报告,勿将理论问题当作已确认漏洞;同一模式在不同上下文安全含义不同;需优先考虑可利用性并记录威胁模型假设;资料未提供具体定价、平台支持范围与运行环境要求。