Binvariants: Register-Level Invaraint-Guided Fuzzing for Binaries

**Binvariants** — это open‑source‑инструмент, который использует регистровый‑уровневый анализ инвариантов для управления процессом fuzz‑тестирования бинарных фа