pharos

Pharos 静的バイナリ分析フレームワーク Pharos静的バイナリ分析フレームワークは、カーネギーメロン大学ソフトウェア工学研究所のプロジェクトです。このフレームワークは、バイナリプログラムの自動分析を容易にするために設計されています。ディスアセンブリ、制御フロー分析、命令セマンティクスなどには、ローレンス・リバモア国立研究所が開発したROSEコンパイラインフラストラクチャを使用しています。このソフトウェアはBSD ライセンスの下で公開されています。...