Binvariants

Binvariants：面向二进制的寄存器级不变量引导模糊测试 本仓库为 Binvariants 的源代码：一个原型模糊测试框架，利用寄存器级潜在不变性违规对二进制程序进行模糊测试。 该工作发表于我们的论文 Binvariants: Enhancing Fuzzing of Closed-source Binary Executables via Register-level Likely Invariants，将出现在 2026 年 ACM 国际软件基础工程会议 FSE'26 上。 安装 Binvariants 使用 Binvariants 附加说明 Bug 奖杯展示 引用本仓库：|...