AI生成コードのための静的解析
AIコーディングアシスタントが導入する脆弱性を検出するために設計された専用セキュリティスキャナー。5つのカテゴリにわたる210のルール — バイブコードパターン、エージェントセキュリティ、LLMアプリケーションリスク、フレームワーク脆弱性、クラウド設定ミス — tree-sitter AST解析、マルチホップテイントフロー追跡、オプションのAIトリアージを搭載。
210のセキュリティルール
10の言語
5つのルールカテゴリ
SARIF出力
課題
AI生成コードがセキュリティリスクとなる理由
AIアシスタントは人間がレビューできる速度を超えてコードを生成します。AIの提案を最小限の精査で受け入れるバイブコーディングが新たな標準となっています。
AIは動作するコードに最適化し、安全なコードには最適化しません。同じハードコードされたシークレット、同じSQL文字列結合、同じ許容的なCORS設定 — 数千のプロジェクトで繰り返されています。
Semgrep、Snyk、CodeQLはプロンプトテンプレート、エージェントツール定義、LLM出力処理を理解しません。新たな攻撃対象領域はカバレッジがゼロです。
自律型エージェントはファイルシステムアクセス、データベース書き込み、シェルコマンド実行の権限を持って実世界の判断を行います。その権限境界を監査する既存ツールはありません。
ルール
AI固有の5つの脆弱性ドメインを対象とする210のルール
AIコーディングアシスタントが頻繁に生成するパターンに対する40のルール：プロンプト内のハードコードされたシークレット、文字列結合によるSQLインジェクション、危険なコード実行、安全でないデフォルト設定、認証の欠如、パストラバーサル、安全でないデシリアライゼーション、弱い暗号化。
自律型エージェントコードに対する30のルール：過度に許容的なツール定義、無制限のファイルシステムアクセス、ユーザー入力からのシェルコマンド実行、監査ログの欠如、破壊的操作前の確認なし、安全でないエージェント間通信、権限昇格ベクター。
本番LLMアプリケーションに対する40のルール：システムプロンプトへの生のユーザー入力、未サニタイズのHTMLレンダリング、LLM生成SQLの実行、APIキーの露出、プロンプトインジェクション検出の欠如、安全でないOAuthフロー、非推奨SDKの使用、未検証のツール出力、学習データ流出リスク。
10フレームワークにわたる50のルール：Express.js、Django、Flask、FastAPI、Spring Boot、Laravel、Rails、Next.js、NestJS、Gin — デバッグモードの露出、認証ガードの欠如、CORSワイルドカード、マスアサインメント、未検証のDTOs、actuatorエンドポイントの漏洩をカバー。
7プラットフォームにわたる50のルール：AWS (15)、Terraform (10)、Kubernetes (6)、GitHub Actions (5)、GCP (5)、Azure (5)、Docker (4) — IAM過剰権限、パブリックバケット、暗号化の無効化、特権コンテナ、固定されていないActions、設定ミスのあるセキュリティグループをカバー。
YAMLでカスタムルールを記述 — Rustの知識は不要です。ASTノードタイプ、正規表現パターン、祖先コンテキスト制約、修正提案を定義できます。単一コマンドで新しいルールのひな形を作成。
GitHubセキュリティタブとの連携のためのネイティブSARIF v2.1.0出力。検出結果は重要度、修正提案、参照情報とともにPRのインライン注釈として表示されます。JSON形式およびテキスト形式の出力にも対応。
Mistral AIまたはローカルのOllamaモデルを統合して、偽陽性の削減、コンテキストに基づく重要度の再ランク付け、状況に応じた修正提案の生成を実現。--aiフラグ一つで有効化 — サポート対象のあらゆるモデルで動作します。
Achilles AI LSPサーバーによるエディタ内リアルタイムセキュリティフィードバック。インライン診断、コードアクション、入力中の修正提案 — VS Code、Neovim、およびLSP対応の全エディタで動作します。
プッシュおよびプルリクエストごとの自動スキャンを実現するドロップインGitHub Action。GitLab CI、Bitbucket Pipelines、pre-commitフックにも対応。単一バイナリ — ランタイム依存なし。
機能概要
Achilles AIが提供するもの
210
組み込みセキュリティルール
10
対応プログラミング言語
5
AI固有カテゴリ
1
単一バイナリ — 依存なし
5
クロスプラットフォームビルド
3
出力フォーマット
技術スタック
Rustワークスペース：achilles-parsers、achilles-core、achilles-ai、achilles-lsp、achilles-cli — tree-sitter、serde、regex、YAMLルールエンジン、テイントフロー解析
tree-sitter-javascript、tree-sitter-typescript、tree-sitter-python、tree-sitter-go、tree-sitter-java、tree-sitter-rust、tree-sitter-ruby、tree-sitter-php、tree-sitter-c-sharp、tree-sitter-swift
Mistral AI SDK、Ollamaクライアント、モデル選択設定、偽陽性フィルタリング、重要度再ランク付け
clap、colored、serde_json、SARIF v2.1.0出力、Language Server Protocol
GitHub Actions（CI + クロスコンパイルリリース）、GitLab CI、Bitbucket Pipelines、pre-commitフック
Linux (amd64/arm64)、macOS (amd64/arm64)、Windows (amd64)、crates.io
ソースコード
Achilles AIのソースコードは、評価およびパートナーシップ目的でリクエストに応じて利用可能です。
ソースコードにアクセスするには、秘密保持契約への署名が必要です。
AI生成コードの本番環境でのセキュリティ対策にお困りですか？当社のコンサルティングサービスがAchilles AIを補完します。
12〜24週間。AIシステムをリスク分類し、適合性評価を完了し、付属書IV技術文書を作成し、市販後モニタリングを立ち上げます——自律・産業・ロボティクス展開向けの付属書III高リスクカテゴリに特別な深さで
AIパイロットの多くは本番環境に到達しない。成功するケースのプレイブックを手に入れよう。
いつでも購読解除できます。スパムは一切ありません。
アーキテクチャ
3つのレイヤー：ドロップインCLI/CI統合、AI生成パターンに最適化された210ルールのASTスキャナー、そして実際のリスクをトップに表示するLLM判定の重大度ランカー。
単一のGoバイナリ、ランタイム不要。ローカルスキャン用CLI、GitHub/GitLab CI統合、コードスキャンUI用SARIF出力。Cursorのコミットで数秒、100万行規模のAuralinkコードベースでも数分で実行可能。
Python、TypeScript、JavaScript、Go用のASTスキャナー。5つのルールカテゴリー：vibe-codeパターン、エージェントセキュリティ（ツール定義、機能の乱立）、LLMアプリケーションリスク（プロンプトインジェクション、未サニタイズ出力）、フレームワーク脆弱性、クラウドの設定ミス。SASTツールが持っていないパターン。
LLM判定スコアリング（Mistralローカルまたはホステッド）が、あなたのスタックに対する悪用可能性に基づいて調査結果を再ランク付け。誰も読まない500件の調査結果レポートはもう不要 — トップ10は実際にトップ10であり、開発者が対応可能な短い説明付き。
5つのカテゴリにわたる210のルール
AIアシスタントは「動作する」ことを最適化し、「安全である」ことは最適化しません。Achillesは、100万行以上のAI拡張コードで大規模に確認されたAI生成のアンチパターンをすべて命名し、その後、実際のリスクをレポートのトップに表示するLLMランカーを出荷します。
47 RULESプロンプトテンプレート内のハードコードされたAPIキー、'デモ用'コードパスでの文字列連結によるSQL、安全でないデシリアライゼーション、LLM出力のeval、INFOレベルでログに記録されるシークレット。'一度動作すれば'が'安全に動作する'に勝るときに出荷されるパターンの集まり。
38 RULESパラメータ検証のないツール定義、管理者権限と重複するエージェント機能、LLM呼び出し可能なツールに対するレートリミットの欠如、システムIDを漏洩するプロンプトプレフィックス。ジェイルブレイクがインシデントに変わる原因となるパターンの集まり。
52 RULESHTMLとしてレンダリングされるサニタイズされていないLLM出力、ユーザーが制御するコンテキスト内のプロンプトインジェクションベクター、取得したドキュメントを介した間接インジェクション、モデル出力がシェルやevalにパイプされる、出力スキーマ検証の欠如。OWASP-LLM-Top-10を具体化したもの。
43 RULES認証なしのNext.js Server Actionの露出、FastAPI依存性注入のバイパス、LangChainの思考連鎖漏洩、Django ORMのraw()を介したSQLインジェクション、安全でないテンプレートレンダリング。フレームワークごとのルールであり、一般的なテイントトラッキングではない。
30 RULES機密プレフィックスを持つ公開S3、`*`アクションを持つIAMロール、AWS Bedrockのクロスアカウント権限、サービスアカウントのないコンテキストで露出したGCP Vertex AI。漏洩したエンドポイントURLが完全なデータ流出に変わる原因となるパターンの集まり。