テスト・セキュリティのスキル

C/C++のプログラムに多様な入力を与えて不具合を探すテストを、AFL++で複数コアに並列化し、実行状況の確認からクラッシュの再現・調査まで支援するスキル。

• C/C++の検査を複数コアで回したいとき
• libFuzzerでの探索が停滞したとき
• ファジングの進捗や安定性を確認したいとき

マルウェアを識別するYARA-Xの検出ルールを作成・レビューし、文字列や条件式の選び方、誤検知の削減、処理速度の改善、旧YARAからの移行を支援するスキル。

• 特定のマルウェア向けルールを作りたいとき
• 誤検知や検出処理の遅さを見直したいとき
• 既存のYARAルールをYARA-Xへ移したいとき

大量の入力でコードを試すファジングで、実際に実行された範囲を測定・分析します。未到達の処理を見つけ、テスト用コードや初期入力、辞書の改善につなげます。

• ファジング開始時の基準値測定
• 新しい処理に到達しない原因調査
• ハーネス変更前後の実行範囲比較

個別の脆弱性候補について、処理の入口からの到達経路や入力の流れ、影響範囲をTrailmarkで調べ、検証の優先度と追加確認が必要な点を根拠付きで整理します。

• 静的解析の指摘に検証順位を付けたいとき
• 不審な関数への到達経路を確認
• 悪用可能性の検証に向けた根拠整理

見つかった不具合の根本原因を手がかりに、コード全体から同種の問題を探します。検索条件を段階的に広げ、候補の判定や重大度の整理、再発防止ルールの作成まで進めます。

• 発見した脆弱性の類似箇所を探したいとき
• CodeQLやSemgrepのルール作成
• 似たコードの根本原因を判定したいとき

大量の入力で不具合を探す独自のファザーを、RustのLibAFLで構築します。入力の変更方法や実行結果の評価、並列実行を対象に合わせて組み合わせます。

• 特殊な対象や構成向けのファザー開発
• 独自の入力変更・評価方法の実装
• 新しいファジング手法の研究

Cargoを使うRustプロジェクトに多様な入力を与えるテストを導入し、実行用コードの作成からメモリエラーの検出、クラッシュ再現、検証範囲の確認まで支援するスキル。

• Rustクレートへのファジング導入
• 構造化されたテスト入力の生成
• unsafeやFFIを検証したいとき

入力の自動生成テストに使う辞書を作り、形式固有のキーワードや識別用バイト列を組み込みます。入力検証で探索が止まるパーサーや通信処理のテストを支援します。

• JSONやXMLパーサー向けの辞書作成
• 通信キーワードをテスト入力に加えたいとき
• 画像の識別用バイト列や構造名でテスト

複数言語のコードを関数や呼び出しの関係図にまとめ、入力の入口から重要な処理への経路や影響範囲を調べ、セキュリティ監査の優先順位付けを支援するスキル。

• 入口から重要な関数への経路を調べたいとき
• セキュリティ監査の優先順位付け
• 言語間やRPCの呼び出しを追いたいとき

暗号処理の実装を既知の攻撃や境界条件のテストデータで検証し、結果の判定と失敗原因の調査、実装間の挙動比較や継続的なテストへの組み込みを支援するスキル。

• 既知の攻撃への耐性を検証したいとき
• 暗号ライブラリの挙動を比較したいとき
• 署名の誤った受理や拒否を調べたいとき

脆弱性報告を7つの判断基準で評価し、詳しい調査へ進めるか、却下するか、追加情報を求めるかを整理します。攻撃条件や実際の利用状況、修正の影響を根拠に判断します。

• AIが発見した脆弱性候補の事前選別
• 報告されたCVEの調査要否を判断したいとき
• バグ報奨金への投稿を評価したいとき

C/C++・Rustで扱う鍵やパスワードのメモリ消去漏れを調べ、最適化で消去処理が失われる問題もコンパイラの出力を根拠に報告するスキル。

• 暗号鍵の消去処理を監査したいとき
• パスワードやトークンの消去確認
• 最適化による消去処理の削除調査

SolanaやAnchorのコードを6種類の脆弱性パターンで点検します。外部プログラム呼び出しやアカウント検証を確認し、全項目の判定と根拠、問題箇所の修正案をまとめます。

• Solanaプログラムの公開前点検
• CPIの呼び出し先IDを確認
• PDAとアカウント検証の点検

Burp Suiteの.burpファイルに保存されたHTTP通信や監査結果をコマンドで検索・抽出します。ヘッダーや本文を絞り込み、調査対象のURLと指摘を整理します。

• CORSなどのレスポンスヘッダー調査
• 重大度と確信度で監査結果を絞り込み
• プロキシ履歴からURLを抽出

既存のSemgrepルールを指定した言語へ移植し、言語ごとにルールとテストを作成します。適用可否の判断から検証まで進め、移植結果を整理するスキルです。

• 既存ルールをGoやJavaへ移植したいとき
• 別言語への検出パターンの適用可否確認
• 言語別の検出例と安全な例のテスト作成

関数をまたぐデータの流れをCodeQLで追跡し、コード全体の脆弱性を調べます。解析用データベースの品質確認や独自APIのモデル作成、結果の保存まで扱うスキル。

• コード全体の脆弱性を検査したいとき
• 独自APIを通る外部入力を追いたいとき
• 網羅的な解析と高精度な解析の選択

スマートコントラクトの設計・実装・依存関係・テストを開発指針に沿って点検します。仕様や文書の不足も整理し、優先順位付きの改善案をまとめるスキル。

• スマートコントラクトの設計確認
• 更新・プロキシ構成の点検
• 仕様書や文書の不足確認

Cosmos SDKのモジュールやCosmWasmコントラクトを調べ、チェーン停止や資金損失につながる問題を実行経路と照合し、修正案付きの監査結果にまとめるスキル。

• 独自のCosmos SDKモジュール監査
• IBC連携の安全性を確認したいとき
• チェーン公開前の安全性評価

C/C++やunsafeを含むRustのテストで、領域外アクセスや解放済みメモリの使用を検出します。ビルド設定からクラッシュ報告の読み解きまで支援します。

• C/C++のファジング中のメモリエラー検出
• Rustのunsafeや外部呼び出しの検証
• ASanのクラッシュ報告を読みたいとき

コードの言語に合う検査ルールを選び、計画の承認後にSemgrepで脆弱性を調べます。全件表示と重要項目への絞り込みに対応し、結果を統合します。

• コードの脆弱性を監査したいとき
• コードレビュー前の安全性確認
• 信頼度と影響度で絞り込みたいとき

スマートコントラクトやブロックチェーンのコードを9分野で評価し、テスト・権限管理・文書などの成熟度を根拠付きの採点表と改善計画にまとめるスキル。

• スマートコントラクトの成熟度評価
• テストと文書の不足の洗い出し
• 権限管理と運用体制の総合点検

数値計算を含むコードを調べ、単位や小数桁の取り違え、倍率の不整合を検出します。値の単位をコメントで記録し、計算式の意味と確認範囲も整理します。

• DeFiのトークン量と価格換算の確認
• WAD/RAYの倍率ミスを調べたいとき
• 既存の計算式に単位を記録したいとき

セキュリティ修正の前後で攻撃の再現や正常動作を比較し、修正漏れ・不具合・新たな脆弱性を検証します。再現可能なログと未検証の範囲をまとめるスキルです。

• AI生成のセキュリティ修正の事前検証
• 別の攻撃パターンで修正漏れを調べたいとき
• 修正が正常動作を壊していないか確認

AndroidのAPKからFirebase設定を抽出し、データベースやストレージ、認証などの公開・アクセス制御の不備を検査して、根拠と修正案を報告します。

• AndroidアプリのFirebase監査
• データベースの未認証アクセス確認
• ストレージの一覧取得・書き込み検査