技能 编程开发 源代码安全审计

源代码安全审计

v20260927
code-audit
使用 Semgrep、CodeQL 等工具对源代码进行静态安全分析,识别潜在漏洞和危险 API。适用于白盒审计、PR 安全审查及修复验证。需结合人工验证误报,确保代码逻辑安全。
获取技能
309 次下载
概览

Source Code Security Audit

When to Use

  • Reviewing a codebase for security defects with static analysis.
  • Verifying that a vulnerability fix actually removes the flawed pattern.

适用场景

  • 白盒审计、PR/差分安全审查
  • Semgrep / CodeQL / Bandit / gosec 等 SAST
  • 危险 API、注入点、鉴权缺失、加密误用
  • 与 supply-chain-security/ 分工:本 skill 偏自有代码逻辑,供应链偏依赖与管道

工作流

1. 范围与威胁模型

□ 信任边界:用户输入、文件、反序列化、SSRF、鉴权中间件
□ 高价值资产:鉴权、支付、管理端、密钥处理

2. 自动扫描

semgrep --config auto .
# 或项目规则包
semgrep --config p/owasp-top-ten .

3. 人工验证(MUST)

□ 每个 SAST 命中:可达性?可利用性?误报?
□ 鉴权:IDOR/越权、缺校验、错误的多租户隔离
□ 注入:SQL/命令/模板/LDAP
□ 加密:硬编码密钥、ECB、自定义 crypto

4. 产出

Finding:位置 + 数据流 + PoC + 修复建议
可选 ATT&CK / CWE 编号

工具链

工具 语言/场景
Semgrep 多语言快速规则
CodeQL 深数据流(GitHub)
Bandit Python
gosec / staticcheck Go
SpotBugs / FindSecBugs Java

参考

  • references/sast-review-checklist.md
  • ../supply-chain-security/ ../api-security/ ../llm-security/(Agent 代码)

路由上下文

上游: MASTER R26
角色: ops/role-map.md cae
下游: 依赖漏洞 → supply-chain;运行时验证 → pentest-tools

任务完成自检

  • 是否人工验证而非只贴扫描器输出?
  • 是否含修复建议?
  • 是否限定在授权仓库范围?
  • Checklist?

Limitations

  • Static analysis produces false positives; manual triage is required.
  • Coverage depends on language support of the chosen SAST engine.

Adapted from zhaoxuya520/reverse-skill (MIT).

信息
Category 编程开发
Name code-audit
版本 v20260927
大小 2.11KB
更新时间 2026-09-28
语言