TON脆弱性スキャナー

1. 目的

FunCで記述されたTONブロックチェーンスマートコントラクトを、ブール論理、Jettonトークン処理、ガス管理に関連するプラットフォーム固有のセキュリティ脆弱性について体系的にスキャンします。このスキルはTONのアーキテクチャに固有の3つの重大な脆弱性パターンをエンコードしています。

2. このスキルを使用する場合

• TONスマートコントラクト(FunC言語)の監査
• Jettonトークン実装のレビュー
• トークン転送通知ハンドラーの検証
• TON dAppsの本番前セキュリティ評価
• ガス転送ロジックのレビュー
• ブール条件処理の評価

3. プラットフォーム検出

ファイル拡張子とインジケーター

• FunCファイル: .fc, .func

言語/フレームワークマーカー

;; FunC contract indicators
#include "imports/stdlib.fc";

() recv_internal(int my_balance, int msg_value, cell in_msg_full, slice in_msg_body) impure {
    ;; Contract logic
}

() recv_external(slice in_msg) impure {
    ;; External message handler
}

;; Common patterns
send_raw_message()
load_uint(), load_msg_addr(), load_coins()
begin_cell(), end_cell(), store_*()
transfer_notification operation
op::transfer, op::transfer_notification
.store_uint().store_slice().store_coins()

プロジェクト構造

• contracts/*.fc - FunCコントラクトソース
• wrappers/*.ts - TypeScriptラッパー
• tests/*.spec.ts - コントラクトテスト
• ton.config.ts または wasm.config.ts - TONプロジェクト設定

ツールサポート

• TON Blueprint: TON用開発フレームワーク
• toncli: TONコントラクト用CLIツール
• ton-compiler: FunCコンパイラー
• 手動レビュー(自動化ツールは限定的)

---

4. このスキルの仕組み

起動すると、以下を実行します:

1. コードベースを検索してFunC/Tactコントラクトを探す
2. 各コントラクトを分析して3つの脆弱性パターンを調査
3. 検出結果をレポートしてファイル参照と重大度を表示
4. 各問題の修正方法を提供
5. リプレイプロテクションと送信者検証をチェック

---

5. 出力例

脆弱性が見つかった場合、以下のようなレポートが出力されます:

=== TON VULNERABILITY SCAN RESULTS ===

Project: my-ton-contract
Files Scanned: 3 (.fc, .tact)
Vulnerabilities Found: 2

---

[CRITICAL] Missing Replay Protection
File: contracts/wallet.fc:45
Pattern: No sequence number or nonce validation

---

## 5. 脆弱性パターン(3パターン)

TONに固有の3つの重大な脆弱性パターンをチェックします。詳細な検出パターン、コード例、対応策、テスト戦略については、[VULNERABILITY_PATTERNS.md](resources/VULNERABILITY_PATTERNS.md)を参照してください。

### パターン概要:

1. **送信者チェックの欠落** ⚠️ CRITICAL - 特権操作の送信者検証なし
2. **整数オーバーフロー** ⚠️ CRITICAL - FunCの未チェック算術演算
3. **不適切なガス処理** ⚠️ HIGH - ガス予約不足

完全な脆弱性パターン、コード例については、[VULNERABILITY_PATTERNS.md](resources/VULNERABILITY_PATTERNS.md)を参照してください。

## 5. スキャンワークフロー

### ステップ1: プラットフォーム識別
1. FunC言語を確認(`.fc`または`.func`ファイル)
2. TON Blueprintまたはtoncliプロジェクト構造を確認
3. コントラクトソースファイルを特定
4. Jetton関連コントラクトを識別

### ステップ2: ブール論理レビュー
```bash
# Find boolean-like variables
rg "int.*is_|int.*has_|int.*flag|int.*enabled" contracts/

# Check for positive integers used as booleans
rg "= 1;|return 1;" contracts/ | grep -E "is_|has_|flag|enabled|valid"

# Look for NOT operations on boolean-like values
rg "~.*\(|~ " contracts/

各ブール値について:

• -1を真に、0を偽に使用
• 1または他の正の整数を使用していない
• 論理操作が正しく機能する

ステップ3: Jettonハンドラー分析

# Find transfer_notification handlers
rg "transfer_notification|op::transfer_notification" contracts/

各Jettonハンドラーについて:

• 送信者アドレスを検証
• 送信者が保存されたJettonウォレットアドレスと照合されている
• 送信者検証なしにforward_payloadを信頼できない
• Jettonウォレットアドレスを設定するadmin関数を持つ

ステップ4: ガス/転送額レビュー

# Find forward amount usage
rg "forward_ton_amount|forward_amount" contracts/
rg "load_coins\(\)" contracts/

# Find send_raw_message calls
rg "send_raw_message" contracts/

各アウトゴーイングメッセージについて:

• 転送額が固定/制限されている
• またはユーザー提供額がmsg_valueに対して検証されている
• コントラクト残高を枯渇させることができない
• 適切なsend_raw_messageフラグを使用

ステップ5: 手動レビュー

TONコントラクトは徹底的な手動レビューが必要です:

• ~, &, |演算子でのブール論理
• メッセージパースと検証
• ガス経済とフィー計算
• ストレージ操作とデータシリアライズ

---

6. レポート形式

検出結果テンプレート

## [CRITICAL] 偽のJettonコントラクト - 送信者検証の欠落

**場所**: `contracts/staking.fc:85-95` (recv_internal, transfer_notification ハンドラー)

**説明**:
`transfer_notification`操作ハンドラーは、送信者が予想されるJettonウォレットコントラクトであることを検証しません。任意の攻撃者が偽の`transfer_notification`メッセージを送信し、実際にJettonをデポジットせずに、トークンを転送したと主張してクレジットを得ることができます。

**脆弱なコード**:
```func
// staking.fc, line 85
if (op == op::transfer_notification) {
    int jetton_amount = in_msg_body~load_coins();
    slice from_user = in_msg_body~load_msg_addr();

    ;; WRONG: No validation of sender_address!
    ;; Attacker can claim any jetton_amount

    credit_user(from_user, jetton_amount);
}

攻撃シナリオ:

1. 攻撃者が悪意あるコントラクトをデプロイ
2. 悪意あるコントラクトがスキャッツングコントラクトにtransfer_notificationメッセージを送信
3. メッセージが1,000,000 Jettonsの転送を主張
4. スキャッツングコントラクトが送信者をチェックせずに攻撃者をクレジット
5. 攻撃者はデポジットなしで引き出しまたはメリットを得られる

概念実証:

// Attacker sends fake transfer_notification
const attackerContract = await blockchain.treasury("attacker");

await stakingContract.sendInternalMessage(attackerContract.getSender(), {
  op: OP_CODES.TRANSFER_NOTIFICATION,
  jettonAmount: toNano("1000000"), // Fake amount
  fromUser: attackerContract.address,
});

// Attacker successfully credited without sending real Jettons
const balance = await stakingContract.getUserBalance(attackerContract.address);
expect(balance).toEqual(toNano("1000000")); // Attack succeeded

推奨事項: 期待されるJettonウォレットアドレスを保存して送信者を検証してください:

global slice jetton_wallet_address;

() recv_internal(...) impure {
    load_data();  ;; Load jetton_wallet_address from storage

    slice cs = in_msg_full.begin_parse();
    int flags = cs~load_uint(4);
    slice sender_address = cs~load_msg_addr();

    int op = in_msg_body~load_uint(32);

    if (op == op::transfer_notification) {
        ;; CRITICAL: Validate sender
        throw_unless(error::wrong_jetton_wallet,
            equal_slices(sender_address, jetton_wallet_address));

        int jetton_amount = in_msg_body~load_coins();
        slice from_user = in_msg_body~load_msg_addr();

        ;; Safe to credit user
        credit_user(from_user, jetton_amount);
    }
}

参考資料:

• building-secure-contracts/not-so-smart-contracts/ton/fake_jetton_contract

---

## 7. 優先度ガイドライン

### Critical(即座の修正が必要)
- 偽のJettonコントラクト(不正な鋳造/クレジット)

### High(本番前に修正)
- 整数型ブール値(論理エラー、壊れた条件)
- ガスチェックなしのTON転送(残高枯渇)

---

## 8. テスト推奨事項

### ユニットテスト
```typescript
import { Blockchain } from "@ton/sandbox";
import { toNano } from "ton-core";

describe("Security tests", () => {
  let blockchain: Blockchain;
  let contract: Contract;

  beforeEach(async () => {
    blockchain = await Blockchain.create();
    contract = blockchain.openContract(await Contract.fromInit());
  });

  it("should use correct boolean values", async () => {
    // Test that TRUE = -1, FALSE = 0
    const result = await contract.getFlag();
    expect(result).toEqual(-1n); // True
    expect(result).not.toEqual(1n); // Not 1!
  });

  it("should reject fake jetton transfer", async () => {
    const attacker = await blockchain.treasury("attacker");

    const result = await contract.send(
      attacker.getSender(),
      { value: toNano("0.05") },
      {
        $$type: "TransferNotification",
        query_id: 0n,
        amount: toNano("1000"),
        from: attacker.address,
      }
    );

    expect(result.transactions).toHaveTransaction({
      success: false, // Should reject
    });
  });

  it("should validate gas for forward amount", async () => {
    const result = await contract.send(
      user.getSender(),
      { value: toNano("0.01") }, // Insufficient gas
      {
        $$type: "Transfer",
        to: recipient.address,
        forward_ton_amount: toNano("1"), // Trying to forward 1 TON
      }
    );

    expect(result.transactions).toHaveTransaction({
      success: false,
    });
  });
});

統合テスト

// Test with real Jetton wallet
it("should accept transfer from real jetton wallet", async () => {
  // Deploy actual Jetton minter and wallet
  const jettonMinter = await blockchain.openContract(JettonMinter.create());
  const userJettonWallet = await jettonMinter.getWalletAddress(user.address);

  // Set jetton wallet in contract
  await contract.setJettonWallet(userJettonWallet);

  // Real transfer from Jetton wallet
  const result = await userJettonWallet.sendTransfer(
    user.getSender(),
    contract.address,
    toNano("100"),
    {}
  );

  expect(result.transactions).toHaveTransaction({
    to: contract.address,
    success: true,
  });
});

---

9. 追加リソース

• Building Secure Contracts: building-secure-contracts/not-so-smart-contracts/ton/
• TON Documentation: https://docs.ton.org/
• FunC Documentation: https://docs.ton.org/develop/func/overview
• TON Blueprint: https://github.com/ton-org/blueprint
• Jetton Standard: https://github.com/ton-blockchain/TEPs/blob/master/text/0074-jettons-standard.md

---

10. クイックリファレンスチェックリスト

TONコントラクト監査完了前に:

ブール論理(HIGH):

• すべてのブール値が-1(真)と0(偽)を使用
• ブール値として正の整数(1, 2など)を使用していない
• ブール値を返す関数が真に-1を返す
• ~, &, |演算子でのブール論理が正しい値を使用
• テストがブール操作を正しく機能することを検証

Jettonセキュリティ(CRITICAL):

• transfer_notificationハンドラーが送信者アドレスを検証
• 送信者が保存されたJettonウォレットアドレスと照合されている
• Jettonウォレットアドレスが初期化時に保存されている
• Jettonウォレットを設定/更新するadmin関数を持つ
• 送信者検証なしにforward_payloadを信頼できない
• 偽のJettonコントラクトでのテストが却下を検証

ガスと転送額(HIGH):

• TON転送額が固定/制限されている
• またはユーザー提供額が検証されている: msg_value >= tx_fee + forward_amount
• コントラクト残高が枯渇から保護されている
• 適切なsend_raw_messageフラグを使用
• テストが過度な転送額でコントラクトを枯渇させることができないことを検証

テスト:

• 3つの脆弱性タイプすべてのユニットテスト
• 実際のJettonコントラクトとの統合テスト
• すべての操作のガスコスト分析
• テストネットでの本番前デプロイ