Phelaine

クローズドソースシステムの半自動脆弱性マイニングツール。jar/war/zipに対して静的コード分析を行い、sourceからsinkまでの到達可能なパスを出力します。LLMがパスの到達可能性を検証し、コンテキストに基づいてそのパスの信頼度スコアを付与します。