AgentSkillsCN

entry-point-analyzer

分析智能合约代码库，识别用于安全审计的状态变更入口点。检测可被外部调用、且会修改状态的函数，按访问级别（公开、管理员、角色受限、仅限合约内）进行分类，并生成结构化的审计报告。视图函数、纯函数以及只读函数将被排除在外。当您需要对智能合约（Solidity、Vyper、Solana/Rust、Move、TON、CosmWasm）进行审计，或在被要求查找入口点、审计流程、外部函数、访问控制模式，以及特权操作时，可使用此技能。

SKILL.md
--- frontmatter
name: entry-point-analyzer
description: Analyzes smart contract codebases to identify state-changing entry points for security auditing. Detects externally callable functions that modify state, categorizes them by access level (public, admin, role-restricted, contract-only), and generates structured audit reports. Excludes view/pure/read-only functions. Use when auditing smart contracts (Solidity, Vyper, Solana/Rust, Move, TON, CosmWasm) or when asked to find entry points, audit flows, external functions, access control patterns, or privileged operations.
category: entry-point-analyzer
author: Trail of Bits
source: trailofbits/skills
license: AGPL-3.0
trit: -1
trit_label: MINUS
verified: true
featured: false

Entry Point Analyzer Skill

Trit: -1 (MINUS) Category: entry-point-analyzer Author: Trail of Bits Source: trailofbits/skills License: AGPL-3.0

Description

Analyzes smart contract codebases to identify state-changing entry points for security auditing. Detects externally callable functions that modify state, categorizes them by access level (public, admin, role-restricted, contract-only), and generates structured audit reports. Excludes view/pure/read-only functions. Use when auditing smart contracts (Solidity, Vyper, Solana/Rust, Move, TON, CosmWasm) or when asked to find entry points, audit flows, external functions, access control patterns, or privileged operations.

When to Use

This is a Trail of Bits security skill. Refer to the original repository for detailed usage guidelines and examples.

See: https://github.com/trailofbits/skills

Related Skills

  • •audit-context-building
  • •codeql
  • •semgrep
  • •variant-analysis

SDF Interleaving

This skill connects to Software Design for Flexibility (Hanson & Sussman, 2021):

Primary Chapter: 4. Pattern Matching

Concepts: unification, match, segment variables, pattern

GF(3) Balanced Triad

code
entry-point-analyzer (−) + SDF.Ch4 (+) + [balancer] (○) = 0

Skill Trit: -1 (MINUS - verification)

Connection Pattern

Pattern matching extracts structure. This skill recognizes and transforms patterns.