[Black Hat USA 2015] バイナリ解析とシンボリック実行で脆弱性を探し出す「angr」 1枚目の写真・画像

こうした「帯に短しタスキに長し」を解消するのが「angr」だ。angrは、静的解析と動的シンボリック実行解析を組み合わせたオープンソースのフレームワークで、バイナリローダ、静的解析ルーティン、シンボリック実行エンジンの3つのコンポーネントで構成される。