資源リーク検出
ファイルや接続の閉じ忘れが、本番でじわじわ効いてきていませんか。
無料ベータ・面談制/正式版は有料提供予定
概要
資源の解放漏れは、つくった直後は動いてしまい、ハッピーパスのテストもすり抜けます。本番で実行を重ねるうちにハンドルや接続が積み上がり、ある時だけ開けない・つながらないという再現困難な障害になります。実装の瞬間に「閉じていない資源」を機械的に拾い、枯渇が起きる前につぶすためのツールです。
効果
- 本番で徐々に進行し再現が難しい資源枯渇障害を、実装時に先回りで防ぐ。
- ファイル・接続・ロック・サブプロセスごとに位置・深刻度・直し方が出るため、その場で直せる。
- 決定的なので同じ入力には必ず同じ結果=CIで件数・重大度をしきい値にしてゲート化できる。
- 誤検出を避ける保守的判定(with や対応する後始末があれば陰性)でノイズが少ない。
インプット
- 実装コード
汎用LLMとの違い
どの呼び出しを資源確保とみなし、どの後始末を解放とみなすか(資源カタログ・確保と解放の対応規則)が bubo 独自の中核です。汎用LLMに「資源リークしてない?」と聞くより、構文木の規則照合で漏れなく・再現性高く拾い、with や対応する後始末を確認できる箇所は陰性にしてノイズを抑えます。
社外秘のコードを、どう守るか
buboは入力を保存しません
ツールに渡したコード・仕様・データを、buboのサーバーは保存しません。bubo自身が学習に使うこともなく、処理はその場限りです。
AIに送るか・どこへ送るかは、あなたが握ります
LLMはお手元の鍵で、あなたが選んだプロバイダを呼びます。学習に使うかどうかといったデータの規約も、あなたとプロバイダの契約のもとにあります。なお、LLMキーを使うツールは現時点でClaude・Geminiに対応しており、他プロバイダは順次対応予定です。
AIに送らず動くツールも多くあります
多くのツールは決定的な静的解析だけで完結し、LLMに渡すのは必要な場面に限られます。AIに送る範囲を、あなた自身で絞り込めます。
どう申し込み、どうつなぐのか
1. 面談を予約する
予約フォームから面談をお申し込みください。現在のQAの困りごとと、試したいツールをお聞かせいただきます。
2. 面談で適用先を一緒に決める
そろえたツールのうち、貴社の工程で効く順番をご一緒に見立てます。設定方法・つなぎ方は、この面談でお渡しします。
3. お手元のLLMで動かす
お手元のLLMの鍵(ご自身の鍵をそのまま使うこの方式を、BYOKと呼びます)を設定し、buboのMCPサーバーへ接続。普段お使いのAIクライアントから、そのままQA方法論を呼び出せます。