SlitherにClaude統合を実装してPRを出した - Claude Code MAXでAPIコストゼロのスマートコントラクト脆弱性分析

きっかけ

Slither でスマートコントラクトの静的解析をしていて、--codexオプションを試してみた。

$ slither src/MynaWallet.sol --codex

すると、こんなメッセージが大量に出力された。

INFO:Slither:Please provide an Open API Key in OPENAI_API_KEY (https://beta.openai.com/account/api-keys)
INFO:Slither:Please provide an Open API Key in OPENAI_API_KEY (https://beta.openai.com/account/api-keys)
...

--codexオプションは OpenAI API を使って AI で脆弱性を分析する機能だが、当然ながら API キーが必要で、使うたびにコストがかかる。

Shannonの仕組みに着目

ここで思い出したのが、Shannonという AI ペンテスターツールだ。

Shannon はCLAUDE_CODE_OAUTH_TOKENを使うことで、Claude Code MAX サブスクリプションのトークンを活用している。

docker run --rm -it \
  -e CLAUDE_CODE_OAUTH_TOKEN="$CLAUDE_CODE_OAUTH_TOKEN" \
  shannon:latest \
  "https://your-app.com/" \
  "/app/repos/your-app"

これなら、Claude Code MAX 契約者（$100-200/月）は追加の API コストなしで AI 分析が使える。

実装

この仕組みを Slither にも適用できないかと考え、実装してみた。

変更ファイル

slither/utils/claude.py - CLI オプションと API/CLI の抽象化
slither/detectors/functions/claude.py - Claude ベースの脆弱性検出器
slither/utils/command_line.py - デフォルト設定の追加
slither/slither.py - Claude 関連設定の追加
slither/__main__.py - CLI パーサーの初期化
slither/detectors/all_detectors.py - 検出器の登録

使い方

# Anthropic APIを使う場合
export ANTHROPIC_API_KEY="your-key"
slither . --claude

# Claude Code MAX（APIコストなし）を使う場合
export CLAUDE_CODE_OAUTH_TOKEN="your-token"
slither . --claude --claude-use-code

オプション一覧

Claude (https://www.anthropic.com/claude):
  --claude              Enable Claude (requires ANTHROPIC_API_KEY or
                        CLAUDE_CODE_OAUTH_TOKEN)
  --claude-log          Log Claude queries (in crytic_export/claude/)
  --claude-contracts    Comma separated list of contracts to submit to Claude
  --claude-model        Name of the Claude model to use
  --claude-max-tokens   Maximum amount of tokens to use on the response
  --claude-use-code     Use Claude Code CLI instead of API (no API cost for MAX)

実際に動作確認

テスト用のコントラクトで動作確認を行った。意図的に脆弱性を含むコントラクトを用意した。

contract ClaudeTest {
    mapping(address => uint256) public balances;
    address public owner;

    // Reentrancy vulnerability
    function withdraw(uint256 amount) external {
        require(balances[msg.sender] >= amount, "Insufficient balance");
        (bool success, ) = msg.sender.call{value: amount}("");
        require(success, "Transfer failed");
        balances[msg.sender] -= amount;  // State change after external call
    }

    // Missing access control
    function setOwner(address newOwner) external {
        owner = newOwner;
    }
}

実行結果は以下の通り。

$ slither tests/e2e/detectors/test_data/claude/0.8.0/claude_test.sol --detect claude --claude-use-code

INFO:Slither:Claude: Using model 'sonnet'
INFO:Slither:Claude: Analyzing 1 contract(s)...
INFO:Slither:Claude: [1/1] Found potential vulnerability in ClaudeTest

Claude は以下の脆弱性を検出した。

Reentrancy Vulnerability (CRITICAL) - 外部呼び出し後に状態変更
Missing Access Control (CRITICAL) - setOwner()にアクセス制御なし
その他、Missing Events、Zero Address Validation など

Pull Request を提出

CONTRIBUTING.md のガイドラインに従って、実際に PR を出した。

準備したもの

項目	状態
`dev`ブランチから分岐	✅
ユニットテスト (10件)	✅
ドキュメント更新	✅
Lint (10.00/10)	✅
動作確認	✅

E2Eテストについて

CONTRIBUTING.md では新しい detector には e2e テストが必要とされている。しかし、Claude detector は外部 API を呼び出すため、以下の理由で省略した。

非決定的な出力 - 毎回結果が変わる可能性
CI 環境での認証 - API キーが必要

既存の Codex detector も同じ理由で e2e テストがない前例があったため、これに倣った。

提出したPR

PR #2842: feat: add Claude integration as alternative to OpenAI Codex

## Summary

Add a new detector that uses Claude (via Claude Code CLI or Anthropic API)
to analyze Solidity smart contracts for vulnerabilities.

- Claude Code CLI integration (free for MAX subscribers)
- Anthropic API fallback for programmatic access
- Configurable model selection (opus, sonnet, haiku)
- Per-contract and all-contracts analysis modes
- Optional logging of Claude's analysis

## Test plan

- [x] Unit tests pass (10 tests)
- [x] Lint passes (10.00/10)
- [x] Manual testing: detector finds reentrancy and access control issues

Note: E2E tests are not included as this detector requires external API calls
which are non-deterministic and need credentials. This is consistent with
the existing Codex detector which also lacks e2e tests.

結果：PRはリジェクトされた

2026 年 1 月 5 日、Trail of Bits のメンテナーから以下のフィードバックがあり、PR はクローズされた。

Hi, thanks for the PR, however we think that using an LLM to find vulnerabilities with a simple prompt is not the way to go for Slither at least at the moment. We are also removing the codex detector #2853

リジェクトの理由：

LLM を使ったシンプルなプロンプトでの脆弱性検出は、現時点で Slither の方向性に合わない
既存の--codexオプション（OpenAI Codex detector）もPR #2853で削除される予定

これは技術的な問題ではなく、プロジェクトの方向性に関する判断だ。Slither チームは静的解析に注力しており、LLM ベースの検出は別のアプローチが必要と考えているようだ。

学び

OSSへのコントリビューションは結果だけではない - PR がマージされなくても、実装を通じて多くを学べた
プロジェクトの方向性を理解する重要性 - 事前にメンテナーと議論するか、Issue で確認するのがベターだった
コードは残る - フォーク版は引き続き使える。必要な人はsusumutomita/slitherから利用可能

まとめ

Slither の--codexは OpenAI API が必要でコストがかかる
Shannon と同じ仕組みでCLAUDE_CODE_OAUTH_TOKENを使えば、Claude Code MAX 契約者は API コストなしで AI 分析が可能
PR #2842 として Trail of Bits に提出したが、プロジェクトの方向性に合わないためリジェクトされた
既存のCodex detectorも削除される予定

PR はマージされなかったが、OSS へのコントリビューションを試みる過程で、Slither の内部構造や Python での静的解析ツールの実装について深く学ぶことができた。フォーク版は引き続き利用可能なので、個人的なプロジェクトでは活用していく。