Binvariants

Binvariants: レジスタレベルの不変条件に基づくバイナリファジング このリポジトリはBinvariants のソースコードを提供します。Binvariantsは、レジスタレベルの推定不変条件違反を活用してバイナリをファジングするプロトタイプファジングフレームワークです。 この研究は、2026年のACM International Conference on the Foundations of Software Engineering（FSE'26）に掲載された論文Binvariants: Enhancing Fuzzing of Closed-source Binary...