Co-Pilot / 辅助式
更新于 a month ago

audit-context-building

Ttrailofbits
1.8k
trailofbits/skills/plugins/audit-context-building
82
Agent 评分

💡 摘要

该技能通过详细的分析技术增强代码理解,以便进行安全审计。

🎯 适合人群

安全审计员软件开发人员代码审查员威胁建模者架构师

🤖 AI 吐槽:看起来很能打,但别让配置把人劝退。

安全分析低风险

风险:Low。建议检查:权限范围、数据流向与依赖风险。以最小权限运行,并在生产环境启用前审计代码与依赖。

Audit Context Building

Build deep architectural context through ultra-granular code analysis before vulnerability hunting.

Author: Omar Inuwa

When to Use

Use this skill when you need to:

  • Develop deep comprehension of a codebase before security auditing
  • Build bottom-up understanding instead of high-level guessing
  • Reduce hallucinations and context loss during complex analysis
  • Prepare for threat modeling or architecture review

What It Does

This skill governs how Claude thinks during the context-building phase of an audit. When active, Claude will:

  • Perform line-by-line / block-by-block code analysis
  • Apply First Principles, 5 Whys, and 5 Hows at micro scale
  • Build and maintain a stable, explicit mental model
  • Identify invariants, assumptions, flows, and reasoning hazards
  • Track cross-function and external call flows with full context propagation

Key Principle

This is a pure context building skill. It does NOT:

  • Identify vulnerabilities
  • Propose fixes
  • Generate proofs-of-concept
  • Assign severity or impact

It exists solely to build deep understanding before the vulnerability-hunting phase.

Installation

/plugin install trailofbits/skills/plugins/audit-context-building

Phases

  1. Initial Orientation - Map modules, entrypoints, actors, and storage
  2. Ultra-Granular Function Analysis - Line-by-line semantic analysis with cross-function flow tracking
  3. Global System Understanding - State/invariant reconstruction, workflow mapping, trust boundaries

Anti-Hallucination Rules

  • Never reshape evidence to fit earlier assumptions
  • Update the model explicitly when contradicted
  • Avoid vague guesses; use "Unclear; need to inspect X"
  • Cross-reference constantly to maintain global coherence

Related Skills

  • issue-writer - Write up findings after context is built
  • differential-review - Uses context-building for baseline analysis
  • spec-compliance - Compare understood behavior to documentation
五维分析
清晰度9/10
创新性7/10
实用性8/10
完整性8/10
可维护性9/10
优缺点分析

优点

  • 促进对代码库的深入理解。
  • 减少安全审计中的错误。
  • 通过结构化方法支持复杂分析。

缺点

  • 不识别漏洞。
  • 仅限于上下文构建。
  • 可能需要额外技能进行漏洞评估。

相关技能

constant-time-analysis

A
toolCode Lib / 代码库
88/ 100

“这是一把寻找时序泄漏的瑞士军刀,但你需要一个编译器工具链的博士学位来设置所有的语言后端。”

prowler

A
toolCode Lib / 代码库
86/ 100

“它是云安全的瑞士军刀,但你需要一个YAML博士学位才能配置好它所有的活动部件。”

ethereum-wingman

A
toolCo-Pilot / 辅助式
84/ 100

“看起来很能打,但别让配置把人劝退。”

免责声明:本内容来源于 GitHub 开源项目,仅供展示和评分分析使用。

版权归原作者所有 trailofbits.