Trailmark
呼び出しグラフを検索し、入力から重要な関数への経路を追跡。
Trailmark で関数と呼び出しの関係を作り、外部入力から到達できる重要なコードや、関数変更の影響を調べます。複数ファイルにまたがる監査の優先順位や、ファジング・変異テストの対象選びに使えます。
利用例
HTTP の入口からファイル書き込みまでを追跡し、到達経路と途中の権限チェックを列挙してください。
インストール依頼を確認・編集
元のプロジェクト、導入範囲、確認タスクを含む依頼文を Agent に送ります。
出典と検証記録
作者が複数の暗号ライブラリで行った呼び出しグラフと変異テストの実践です。現行ソースは別途確認済みですが、新しい全機能を網羅する事例ではありません。