Shota Zaizen

makina は、ソースコードが LLM（大規模言語モデル）に入力される前に、セキュリティ上のエビデンス（根拠）を整理・準備するシステムです。 ルールベースのスキャン、セマンティックマッチング（意味論的照合）、タイントトレース（汚染経路追跡）、構造チェック、コールグラフの文脈解析などを組み合わせ、強力な静的解析基盤を構築しています。さらに、人間のレビュー結果をラベルとして継続的に再学習する確信度モデルも備えています。