Binvariants

Binvariants: 레지스터 수준 불변 조건 기반 바이너리 퍼징 이 저장소는 Binvariants 의 소스 코드를 제공합니다. 이는 바이너리 퍼징을 위해 레지스터 수준의 잠재적 불변 조건 위반을 활용하는 프로토타입 퍼징 프레임워크입니다. 본 연구는 2026 ACM 국제 소프트웨어 공학 기초 학회FSE’26에서 발표될 논문 Binvariants: Enhancing Fuzzing of Closed-source Binary Executables via Register-level Likely Invariants에서 소개되었습니다...