Binvariants：二进制文件的寄存器级不变引导模糊测试 · HackerLangs