[招生]科锐逆向工程师培训(2024年11月15日实地,远程教学同时开班, 第51期)
照片记录谁 我也考虑了取余运算,用Z3跑了无结果
demoLin 取余是肯定有的,估计大佬们没有写出来而已,看汇编代码,都是操作的寄存器,当然只有32位。
jvy 请问如何证明加了取余运算后无解?
kaoyange 我说下我的思路: 1. 将 x%y = z 写成 x = t * y + z (t为整数)这样的形式参与运算 。 2. 选择其中两个等式进行加加减减,效果就是要弄出一个等式的左边是奇数,右边是偶数 ...