Static Checker for AI Code Agents

AIコードエージェント（Windsurf、Cline等）が行うコード修正の精度を向上させるための静的解析ツールです。

概要

このツールは、AIコードエージェントによる自動コード生成・修正の前後で実行することで、より正確なコード変更を実現するための静的解析を提供します。

主な機能

1. シンボル参照解析

   • 関数、クラス、インターフェースの使用箇所を特定
   • 依存関係の自動検出
   • 変更影響範囲の可視化

2. ファイル参照チェック

   • ファイル間の依存関係分析
   • 循環参照の検出
   • デッドコードの特定

AIエージェントサポート

以下のAIコードエージェント用のルール定義を提供しています：

• .windsurf/rules.json - Windsurf用の静的解析ルール
• .clinerules - Cline用の静的解析ルール
• .cursorrules - Cursor用の静的解析ルール

変更履歴

0.1.1 (2025-02-23)

• package.jsonのリポジトリ情報を更新
• npmパッケージの説明とメタデータを改善
• READMEにバージョン情報とバッジを追加

0.1.0 (2025-02-23)

• 初期リリース
• 基本的な静的解析機能の実装
• AIコードエージェント用のルール定義サポート

インストール

npm install

サンプルコード

このリポジトリには、静的解析ツールのテスト用のサンプルコードが含まれています。 サンプルコードは samples ディレクトリに格納されています。

ファイル構成

samples/
├── types.ts             # 共通の型定義
├── UserService.ts      # ユーザー管理機能を提供するサービス
└── NotificationService.ts  # 通知機能を提供するサービス

これらのファイルは以下のような依存関係を持っています：

samples/types.ts
├── IUser (interface)
├── IUserService (interface)
├── NotificationType (enum)
├── INotification (interface)
└── INotificationService (interface)

samples/UserService.ts
└── UserService (class)
    ├── implements: IUserService
    └── 依存: INotificationService, IUser, NotificationType

samples/NotificationService.ts
└── NotificationService (class)
    ├── implements: INotificationService
    └── 依存: IUserService, INotification

この構造の利点：

1. 循環参照の解消

   • 共通のインターフェースと型をtypes.tsに集約
   • 各サービスはインターフェースのみに依存

2. テスト容易性の向上

   • インターフェースを介した疑似オブジェクトの作成が容易
   • サービス間の結合度が低下

3. コードのメンテナンス性向上

   • 型定義の一元管理
   • サービス間の依存関係が明確

静的解析の使用例

1. シンボルの参照チェック

クラスの参照を確認：

# UserServiceクラスの参照を確認
npm run analyze analyze-symbol UserService

# NotificationServiceクラスの参照を確認
npm run analyze analyze-symbol NotificationService

インターフェースの参照を確認：

# IUserインターフェースの参照を確認
npm run analyze analyze-symbol IUser

# INotificationServiceインターフェースの参照を確認
npm run analyze analyze-symbol INotificationService

関数の参照を確認：

# notifyメソッドの参照を確認
npm run analyze analyze-symbol notify

# getUserメソッドの参照を確認
npm run analyze analyze-symbol getUser

2. ファイルの参照チェック

# UserService.tsの参照を確認
npm run analyze check-file samples/UserService.ts

# NotificationService.tsの参照を確認
npm run analyze check-file samples/NotificationService.ts

解析結果の見方

1. シンボルの参照チェック結果

   • 定義場所（ファイルパス、行番号）
   • 参照場所のリスト（ファイルパス、行番号）
   • 使用タイプ（import, call, implementation など）

2. ファイルの参照チェック結果

   • エクスポートされているシンボルのリスト
   • 各シンボルの参照場所
   • ファイルの依存関係

警告メッセージの解釈

1. 未参照シンボルの警告（No references found）

   ⚠ Warning: No references found for class 'ClassName'

   • 考えられる原因：
     • シンボルが新しく作成されたばかり
     • インターフェースを通じた間接的な使用
     • デッドコード
   • 対応方法：
     • 新規作成の場合：実装の完了を待つ
     • インターフェース経由の場合：設計上の意図と一致しているか確認
     • デッドコードの場合：削除を検討

2. 複数の参照が見つかった場合（Multiple references found）

   ✓ Found X references to symbol 'SymbolName':

   • 確認すべきポイント：
     • 参照元が想定通りのファイルか
     • 使用方法が適切か
     • 変更による影響範囲

3. ファイル内の未参照シンボル

   ⚠ Warning: Found N potentially unreferenced symbols:

   • 確認すべきポイント：
     • 公開APIとして必要か
     • テストコードでの使用予定があるか
     • リファクタリングの必要性

ベストプラクティス

1. 変更前のチェック

   • 変更対象のシンボルの参照関係を確認
   • 影響範囲の特定
   • 必要な修正箇所のリストアップ

2. 変更後のチェック

   • 新しい参照関係が意図通りか確認
   • 未参照警告の妥当性チェック
   • 循環参照の有無の確認

3. 継続的なモニタリング

   • 定期的な静的解析の実行
   • 警告の傾向分析
   • コードベースの健全性維持

機能

• シンボル（関数、クラス、変数など）の参照箇所の特定
• ファイル内のエクスポートされたシンボルの参照チェック
• 依存関係の分析
• デッドコードの検出