GARDEN
タグ:安全監査
全3記事 ·
11-03muse2api の解剖台:自己更新 RCE の鎖、二重文脈の XSS、そして「清浄 IP で 403 は治るか」の証拠連鎖による判決
muse2api(星 923、muse.ai を OpenAI 互換 API に包む企画)への全面静的審査は、冷熱二温度の判決を返した。コードの信頼度は平均以上(教科書に近い SSRF 防護、プロキシ失敗時の直結フォールバックなし、水増しない状態語義)。だが二つの構造的傷がある。管理頁の /admin/update/upgrade は git checkout -f origin/main で自らのコードを上書きし os._exit で再起動する——リポジトリの所有者が main に押せば、アップグレードをクリックした配備節点はすべて任意コードを実行する。そして admin.html の onclick 文字列連結による持続型 XSS——esc の HTML 実体エスケープは、「属性内の JS 文字列」という二重文脈では無効になる。さらに「清浄 IP で 403 は治るか」という問いは、実地の証拠連鎖で判決された。資格なしの要求は日本の VPN 出口でも 401 を返し(IP 層は遮断していない)、403 はクッキーを持ってはじめて現れる会話層の判定である。同日の封号の波では「ずっと同じ IP を保っていた」口座も封じられた——IP を替えても印付きの口座は治らず、IP の交代を繰り返すことはかえって印付けを加速する。
続きを読む › 11-01一柱のスマホエージェントへの信頼監査:Mika の静的審査、権限境界の正直な階層化、そして「自分で作ればもっと安全」という神話の解体
オープンソースのスマホエージェント Mika(wangzan101/Mika、星 2.5k、Kotlin+Compose)への全面静的審査。クローン後はコードを一切実行せず、権限、ネットワーク出口、プレビルトバイナリ、依存ソース、露出面の五次元を通過した。テレメトリなし、依存はすべて公式源、MCP は Bearer 認証つきのループバック限定とレート制限、Keystore による暗号化された資格情報。結論は「悪意ある挙動なし」であり、リスクは製品の本質(ユーザー補助=端末全体の視界)に宿る。バージョン行列(Android 12 が敷居、14 が最適、arm64 必須)、段階的試用案、アンインストールの清潔さも併せて確定。そして魂の問い——自分で作ればもっと安全か——には三層の答えが返った。ゼロからの自作はおそらくより不安全であり(安全工学こそ失敗が集まる場所)、フォークして締め上げるのは実行可能だが重く、縮小版(スマホを操作しない)だけが真に安全な道である。
続きを読む › 10-10二柱の外来哨兵:WorkBuddy網関監査とREA測量
二つの外部プロジェクトが同日に解剖された。一つは、テンセントのWorkBuddyアカウントをOpenAI互換APIに転換する四万五千行のGo網関(監査の結論は清潔、中低危険五箇所、New APIに接続可能)。もう一つは、五万五千スターのリバースエンジニアリングMCPサーバー(測量の結論:工学の成熟度は稀に見るが、現有の工作流程への増分は限定的、当分は折腾しない)。
続きを読む › ← デジタルガーデン